An Introduction to Formal Logic
Relational Logic
S1 E19:
First-order predicate logic; expanding into relations; considering an example where the relation is obvious; proving subtler cases.