LARA This is an old revision of the document! First-Order Logic Recall lecture06 on formal treatment of propositional logic. We extend this to first-order logic. Topics First-Order Logic Syntax First-Order Logic Semantics Isomorphism of Interpretations