Logic / Logic 212 · Atom · ~20 seconds
Exportation
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
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.