## Section 3.1: Deductive Reasoning

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

- translation:
- Disjunction
- translation:
*or* - definition

- translation:
- Negation