Logic / Logic 211 · Atom · ~20 seconds

Material Equivalence

Video not yet published
to the StudyWalks catalog

State

p ≡ q :: (p ⊃ q) · (q ⊃ p), and p ≡ q :: (p · q) ∨ (~p · ~q).

Show

A biconditional unpacks as two conditionals, or as both-true-or-both-false.

Watch for

Choose the unpacking the proof needs: conditionals for MP work, disjunction for DS work.