A. Biconditional, implication, and
logical equivalence
1. definition of biconditional
2. verifying tautologies
3. implication
4. equivalence
B. Laws of logic
1. law of double negation
2. law of contraposition
3. De Morgan's laws
C. Negation of a compound statement
1. negation of a conditional
2. language analysis
D. Miscellaneous operators
1. either p or q
2. neither p nor q
3. p unless q
4. p because q
5. no p is q
The biconditional tests to see if two statements
have the same truth values. The formal definition is
given here:
Additional operators:
