Logic / Logic 205 · Atom · ~20 seconds
Commutativity
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
p ∨ q :: q ∨ p, and p · q :: q · p.
Show
Order doesn't matter for ∨ and ·.
Watch for
It matters enormously for ⊃. No commuting conditionals — that's video 150 wearing a rule's clothing.