Material Implication
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
p ⊃ q :: ~p ∨ q.
Show
Video 142's equivalence, promoted to a rule — conditionals and disjunctions are interconvertible.
Watch for
This rule is the great unblocker: stuck with a conditional and no antecedent, convert it and work the disjunction.
Builds on
Unlocks
- Nothing yet depends on this.