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