## 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