Atomic and compound propositions
Logical connectives and Operators
AND, OR, NAND, NOR, Implication
If-Then, Conditional statements
Necessary and sufficient conditions
If A then B
B If A
A only if B
A is sufficient condition for B
B is necessary condition for A
