Transposition
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
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.