Section 3.4: The Nature of Proof

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
See the whole entry “Section 3.4: The Nature of Proof”