Logic / Logic 207 · Atom · ~20 seconds
Distribution
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
p · (q ∨ r) :: (p · q) ∨ (p · r), and p ∨ (q · r) :: (p ∨ q) · (p ∨ r).
Show
The outer connective multiplies through, algebra-style.
Watch for
The most error-prone replacement rule. Write it out; never do Distribution in your head.
Builds on
Unlocks
- Nothing yet depends on this.