Logic / Logic 194 · Atom · ~20 seconds
Modus Tollens as a Proof Move
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
From p ⊃ q and ~q, derive ~p.
Show
1. A ⊃ B. 2. ~B. 3. ~A (1, 2, MT).
Watch for
The negation must match the consequent exactly. ~B and B are the pair; ~B and ~~B are not — yet.
Unlocks
- Nothing yet depends on this.