Logic / Unit 5 Logic 195 short lesson, about 20 seconds
Hypothetical Syllogism as a Proof Move
Captions available
The idea
From p ⊃ q and q ⊃ r, derive p ⊃ r.
In practice
1. A ⊃ B. 2. B ⊃ C. 3. A ⊃ C (1, 2, HS).
Where people slip
The middle term must match exactly — consequent of one, antecedent of the other.
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Builds on
Unlocks
- Nothing yet depends on this.
Something wrong in this lesson? Flag it · Sources for Logic