Logic / Logic 156 · Atom · ~20 seconds
Constructive Dilemma
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
(p ⊃ q) · (r ⊃ s); p ∨ r; therefore q ∨ s. Valid — two conditionals, one guaranteed trigger.
Show
If we litigate, we pay counsel; if we settle, we pay damages. We litigate or settle. We pay something.
Watch for
The conclusion is a disjunction. The dilemma never tells you *which* horn you're on.