Exportation
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 :: p ⊃ (q ⊃ r).
Show
"If storm and outage, then closure" equals "if storm, then: if outage, closure."
Watch for
The conjoined antecedent unstacks into nested conditionals. Handy right before conditional proof (215).
Builds on
Unlocks
- Nothing yet depends on this.