Hypothetical Syllogism as a Proof Move
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
From p ⊃ q and q ⊃ r, derive p ⊃ r.
Show
1. A ⊃ B. 2. B ⊃ C. 3. A ⊃ C (1, 2, HS).
Watch for
The middle term must match exactly — consequent of one, antecedent of the other.
Builds on
Unlocks
- Nothing yet depends on this.