Logic and Proof, Lecture 5: First-Order Reasoning

Covering free versus bound variables, substitution, equivalences for quantifiers, sequent calculus rules. "Logic and Proof" is taught to 2nd year Cambridge students taking Computer Science. Course website: https://www.cl.cam.ac.uk/teaching/2021/LogicProof/