Discrete Maths Objective to introduce predicate logic (also called the predicate calculus) 242-213, Semester 2, 2014-2015 3. Predicate Logic 1.
Propositional Logic Not Enough Given the statements: “All men are mortal.” “Socrates is a man.” It follows that “Socrates is mortal.” This can’t be represented.
Chapter 1, Part II: Predicate Logic. Summary Predicate Logic (First-Order Logic (FOL), Predicate Calculus) The Language of Quantifiers Logical Equivalences.