Logic / Logic 193 · Atom · ~20 seconds
Modus Ponens as a Proof Move
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
From lines p ⊃ q and p, derive q.
Show
1. A ⊃ B. 2. A. 3. B (1, 2, MP).
Watch for
The rule needs the *whole line* to be the conditional. A conditional buried inside a larger formula is out of reach.