“An Introduction to Formal Logic” S:1 E:19 Relational Logic

S:1 E:19 Relational Logic 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.