Logic / Unit 5 Logic 207 short lesson, about 20 seconds
Distribution
Captions available
The idea
p · (q ∨ r) :: (p · q) ∨ (p · r), and p ∨ (q · r) :: (p ∨ q) · (p ∨ r).
In practice
The outer connective multiplies through, algebra-style.
Where people slip
The most error-prone replacement rule. Write it out; never do Distribution in your head.
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Builds on
Unlocks
- Nothing yet depends on this.
Something wrong in this lesson? Flag it · Sources for Logic