Logic / Logic 206 · Atom · ~20 seconds

Associativity

Video not yet published
to the StudyWalks catalog

State

(p ∨ q) ∨ r :: p ∨ (q ∨ r), and likewise for ·.

Show

Regrouping within the same connective is free.

Watch for

Same connective only. Regrouping across a mixed formula needs Distribution — next video.