Logic / Unit 4 Logic 142 short lesson, about 20 seconds
Logical Equivalence
Captions available
The idea
Two statements are logically equivalent when their main columns match on every row.
In practice
p ⊃ q and ~p ∨ q — identical columns, interchangeable statements.
Where people slip
Equivalent statements can feel completely different. The table doesn't care how it feels.
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Something wrong in this lesson? Flag it · Sources for Logic