Documents Discrete Maths Objective to introduce predicate logic (also called the predicate calculus) 242-213,....

Slide 1 Discrete Maths Objective to introduce predicate logic (also called the predicate calculus) 242-213, Semester 2, 2014-2015 3. Predicate Logic 1 Slide 2 Overview 1.…

Documents Propositional Logic Not Enough Given the statements: “All men are mortal.” “Socrates is a...

Slide 1 Slide 2 Propositional Logic Not Enough Given the statements: “All men are mortal.” “Socrates is a man.” It follows that “Socrates is mortal.” This can’t…