Hypothetical Syllogism

Mathematical Logic · Axiom Academy

Master chain reasoning in logic: learn how to build and validate chains of implications through hypothetical syllogism, disjunctive syllogism, and constructive dilemma. 1. Hypothetical Syllogism: The Chain Rule The hypothetical syllogism is the foundation of chain reasoning. Think of it as connecting links in a chain: if the first link connects to the second, and the second connects to the third, then the first connects to the third. This rule is also called the transitivity of implication because it shows that implication is a transitive relation, just like "less than" in arithmetic: if a < b and b < c, then a < c. 2. Proving Validity with Truth Tables To prove that hypothetical syllogism is valid, we construct a truth table that examines all possible truth value combinations for p, q, and r. We then check that in every row where both premises (p → q and q → r) are true, the conclusion (p → r) is also true. Remember that an implication p → q is false only when p is true and q is false. In all other cases, it's true. 3. Disjunctive Syllogism: Process of Elimination Disjunctive syllogism captures the logic of elimination. If we know that at least one of two things is true, and we learn that the first is false, then the second must be true. This is fundamental to proof by cases and elimination.

This is the written version of the interactive lesson above. See the full Mathematical Logic course.