Modus ponens

3.4 Outline

1. Introduction
   1. theorem
   2. syllogism
2. Direct reasoning
   1. definition
   2. modus ponens
   3. law of detachment
   4. assuming the antecedent
3. Indirect reasoning
   1. definition
   2. modus tollens
   3. denying the consequent
4. Transitive reasoning
   1. definition
   2. formulate a conclusion
5. Logical proof
6. Fallacies
   1. fallacy of the converse
      1. also called fallacy