Material Equivalence
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
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.
Builds on
Unlocks
- Nothing yet depends on this.