Simplification
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
From p · q, derive p (or q).
Show
1. A · B. 2. A (1, Simp).
Watch for
Only from a line whose main connective is the dot. From (A · B) ⊃ C you may simplify nothing — that line is a conditional.