Logic / Unit 5 Logic 212 short lesson, about 20 seconds
Exportation
Captions available
The idea
(p · q) ⊃ r :: p ⊃ (q ⊃ r).
In practice
"If storm and outage, then closure" equals "if storm, then: if outage, closure."
Where people slip
The conjoined antecedent unstacks into nested conditionals. Handy right before conditional proof (215).
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Builds on
Unlocks
- Nothing yet depends on this.
Something wrong in this lesson? Flag it · Sources for Logic