Logic / Logic 195 · Atom · ~20 seconds
Hypothetical Syllogism as a Proof Move
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
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.