Logic / Logic 209 · Atom · ~20 seconds
Transposition
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
p ⊃ q :: ~q ⊃ ~p.
Show
"If hired, then vetted" equals "if not vetted, then not hired."
Watch for
Both terms negate *and* swap. Doing one without the other yields the twins from 150 and 152.
Builds on
Unlocks
- Nothing yet depends on this.