Relational Logic

Hone your skill with first-order predicate logic by expanding into relations. An example: "If I am taller than my son an... (more)

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