An Introduction to Formal Logic
Season 1
Ep 20. Introducing Logical Identity
- TV-PG
- November 1, 2016
- 33 min
Still missing from our logical toolkit is the ability to validate identity. Known as equivalence relations, these proofs have three important criteria: equivalence is reflexive, symmetric, and transitive. Test the techniques by validating the identity of an unknown party in an office romance.