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