Logic / Unit 5 Logic 210 short lesson, about 20 seconds
Material Implication
Captions available
The idea
p ⊃ q :: ~p ∨ q.
In practice
Video 142's equivalence, promoted to a rule — conditionals and disjunctions are interconvertible.
Where people slip
This rule is the great unblocker: stuck with a conditional and no antecedent, convert it and work the disjunction.
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Unlocks
- Nothing yet depends on this.
Something wrong in this lesson? Flag it · Sources for Logic