Introducing Logical Identity

Still missing from our logical toolkit is the ability to validate identity. Known as equivalence relations, these proofs... (more)

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. (less)