Logic / Logic 198 · Atom · ~20 seconds
Conjunction
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
From p and q on separate lines, derive p · q.
Show
1. A. 2. B. 3. A · B (1, 2, Conj).
Watch for
Assembly is free; both parts are already proven. Simp takes apart, Conj puts together.