MEPX
Chapter 3 of 11All chapters

Chapter 3 of 11

If, then

Rules run one way only.

The valid moves

From if P then Q, finding P gives you Q. Finding that Q is false gives you that P is false. Those two moves are the whole of conditional reasoning.

  • Modus ponens: P is true, so Q is true.
  • Modus tollens: Q is false, so P is false.

The invalid ones

If it rained the street is wet. A wet street does not give you rain, because a burst pipe would do the same job. Reading a rule backwards is called affirming the consequent.