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