An Introduction to Formal Logic
Season 1
Ep 19. Relational Logic
- TV-PG
- November 1, 2016
- 31 min
Hone your skill with first-order predicate logic by expanding into relations. An example: €œIf I am taller than my son and my son is taller than my wife, then I am taller than my wife.€ This relation is obvious, but the techniques you learn allow you to prove subtler cases.