Logical Equivalence
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
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.