Constructive Dilemma
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
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.