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.1 Outline

- Terminology
- argument
- hypotheses/premises
- deductive reasoning
- valid
- logic
- symbolic logic
- statement
- simple statement
- operators (connectives)
- compound statement
- fuzzy logic
- law of the excluded middle
- truth value of a simple statement

- Conjunction
- translation:
*and*
- definition

- Disjunction
- translation:
*or*
- definition

- Negation

…

See the whole entry