Section 3.3: Operations and Laws of Logic
3.3 Outline
- Biconditional, implication, and logical equivalence
- definition of biconditional
- verifying tautologies
- implication
- equivalence
- Laws of logic
- law of double negation
- law of contraposition
- De Morgan’s laws
- Negation of a compound statement
- negation of a conditional
- language analysis
- Miscellaneous operators