SW StudyWalks

Logic  /  Logic 142  ·  Atom · ~20 seconds

Logical Equivalence

Video not yet published
to the StudyWalks catalog
State

Two statements are logically equivalent when their main columns match on every row.

Show

p ⊃ q and ~p ∨ q — identical columns, interchangeable statements.

Watch for

Equivalent statements can *feel* completely different. The table doesn't care how it feels.