## Section 3.4: The Nature of Proof

## 3.4 Outline

- Introduction
- theorem
- syllogism

- Direct reasoning
- definition
- modus ponens
- law of detachment
- assuming the antecedent

- Indirect reasoning
- definition
- modus tollens
- denying the consequent

- Transitive reasoning
- definition
- formulate a conclusion

- Logical proof
- Fallacies
- fallacy of the converse
- also called fallacy

- fallacy of the converse