Logic / Logic 200 · Atom · ~20 seconds
Constructive Dilemma as a Proof Move
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
From (p ⊃ q) · (r ⊃ s) and p ∨ r, derive q ∨ s.
Show
The two-conditional package plus the trigger disjunction yields the outcome disjunction.
Watch for
The conditionals must arrive as a single conjoined line. Two loose conditionals need a Conj step first (198).
Builds on
Unlocks
- Nothing yet depends on this.