Logic / Unit 5 Logic 197 short lesson, about 20 seconds
Simplification
Captions available
The idea
From p · q, derive p (or q).
In practice
1. A · B. 2. A (1, Simp).
Where people slip
Only from a line whose main connective is the dot. From (A · B) ⊃ C you may simplify nothing — that line is a conditional.
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Builds on
Something wrong in this lesson? Flag it · Sources for Logic