Logic / Logic 197 · Atom · ~20 seconds
Simplification
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
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.