Logic / Logic 215 · Atom · ~20 seconds
Conditional Proof
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
To prove p ⊃ q: assume p in an indented sub-proof, derive q, then discharge — the conditional p ⊃ q exits to the main line.
Show
You prove a promise by keeping it hypothetically.
Watch for
Once discharged, nothing inside the indented scope may ever be cited again. The assumption is spent.