Skip to content
## 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

…

See the whole entry
## 3.2 Outline

- Constructing truth tables
- fundamental operators (
*and*, *or*, and *not *)
- truth table
- law of double negation

- Conditional
- translation:
*if p, then q*
- antecedent
- consequent
- uses
- definition

- Translations for the conditional
- converse
- inverse
- contrapositive
- law of

…

See the whole entry