“An Introduction to Formal Logic” S:1 E:20 Introducing Logical Identity

Mins :
Year Released:
Lang:
S:1 E:20 Introducing Logical Identity 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.