Logic Notation

naturevalleyluver

Is there a logic notation primer video in the syllabus? I am trying to touch up on specific aspects of the LR section but cannot understand what the 7sage method is trying to convey when items like the below are written.

A -> B
A

---

B

Law and Yoda

These lessons are helpful in getting logic down:

1) Introduction to Logic: Discusses universal quantifiers and negation
2) Validity and Must Be True Questions: Discusses the 9 valid argument forms (like the example you gave above)
3) Some and Most Relationships: Discusses more of the 9 valid argument forms
4) Invalid Argument Forms: Discusses the 7 invalid argument forms