Relational Logic

Relational Logic

Available on Prime Video, The Great Courses Signature Collection
S1 E19: First-order predicate logic; expanding into relations; considering an example where the relation is obvious; proving subtler cases.