Logic / Logic 210 · Atom · ~20 seconds
Material Implication
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
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.
Unlocks
- Nothing yet depends on this.