Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Predicate Logic (§1.3) Predicate logic is an extension of propositional logic that permits concisely reasoning about whole classes of entities. Propositional logic (recall) treats simple propositions (sentences) as atomic entities. In contrast, predicate logic distinguishes the subject of a sentence from its predicate. Remember these English grammar terms? 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Applications of Predicate Logic Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Applications of Predicate Logic It is the formal notation for writing perfectly clear, concise, and unambiguous mathematical definitions, axioms, and theorems (more on these in module 2) for any branch of mathematics. Predicate logic with function symbols, the “=” operator, and a few proof-building rules is sufficient for defining any conceivable mathematical system, and for proving anything that can be proved within that system! 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Other Applications Predicate logic is the foundation of the field of mathematical logic, which culminated in Gödel’s incompleteness theorem, which revealed the ultimate limits of mathematical thought: Given any finitely describable, consistent proof procedure, there will always remain some true statements that will never be proven by that procedure. I.e., we can’t discover all mathematical truths, unless we sometimes resort to making guesses. Kurt Gödel 1906-1978 A note on pronunciation: The guy’s name is Austrian. The o with the double dot over it is called an “o umlaut.” It is also sometimes written “oe” in languages without umlauts, thus, “Goedel” is also a correct way to write his name in English. An o umlaut is pronounced something between “uh” and “ur”. So, “Goedel” is pronounced something like “girdle.” One way of saying Godel’s theorem is that there are infinitely many finite mathematical statements that are true, but that are not provable from earlier statements by any finite argument following a fixed set of logical inference rules. Thus, the only way to really expand the scope of mathematics is to make guesses (through intuition or inspiration) about additional statements being true (or equivalently, additional inference rules being valid). When one makes such guesses, since they have not been proven, one should always keep in mind the possibility that they may be false (inconsistent with earlier statements), and thus may eventually be disproven. Thus, in general, we can never really know whether a given mathematical system we are using is really logically self-consistent. (Except for some very simple systems of limited power can be proven to be consistent.) Later, we will see that the mathematical world was badly shaken up when it was discovered that the simple form of set theory that everyone had been using was actually logically inconsistent! To restore consistency, the theory had to be modified, and the new set theory is self-consistent, as far as anyone knows. Goedel was also a close colleague and friend of Albert Einstein, and he discovered (among other things) that Einstein’s theory of General Relativity (the modern theory of gravity) had some theoretical solutions in which time travel into the past was possible! 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Practical Applications of Predicate Logic Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Practical Applications of Predicate Logic It is the basis for clearly expressed formal specifications for any complex system. It is basis for automatic theorem provers and many other Artificial Intelligence systems. E.g. automatic program verification systems. Predicate-logic like statements are supported by some of the more sophisticated database query engines and container class libraries these are types of programming tools. 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Subjects and Predicates Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Subjects and Predicates In the sentence “The dog is sleeping”: The phrase “the dog” denotes the subject - the object or entity that the sentence is about. The phrase “is sleeping” denotes the predicate- a property that is true of the subject. In predicate logic, a predicate is modeled as a function P(·) from objects to propositions. P(x) = “x is sleeping” (where x is any object). 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic More About Predicates Convention: Lowercase variables x, y, z... denote objects/entities; uppercase variables P, Q, R… denote propositional functions (predicates). Keep in mind that the result of applying a predicate P to an object x is the proposition P(x). But the predicate P itself (e.g. P=“is sleeping”) is not a proposition (not a complete sentence). E.g. if P(x) = “x is a prime number”, P(3) is the proposition “3 is a prime number.” 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Propositional Functions Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Propositional Functions Predicate logic generalizes the grammatical notion of a predicate to also include propositional functions of any number of arguments, each of which may take any grammatical role that a noun can take. E.g. let P(x,y,z) = “x gave y the grade z”, then if x=“Mike”, y=“Mary”, z=“A”, then P(x,y,z) = “Mike gave Mary the grade A.” 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Universes of Discourse (U.D.s) Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Universes of Discourse (U.D.s) The power of distinguishing objects from predicates is that it lets you state things about many objects at once. E.g., let P(x)=“x+1>x”. We can then say, “For any number x, P(x) is true” instead of (0+1>0)  (1+1>1)  (2+1>2)  ... The collection of values that a variable x can take is called x’s universe of discourse. 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Quantifier Expressions Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Quantifier Expressions Quantifiers provide a notation that allows us to quantify (count) how many objects in the univ. of disc. satisfy a given predicate. “” is the FORLL or universal quantifier. x P(x) means for all x in the u.d., P holds. “” is the XISTS or existential quantifier. x P(x) means there exists an x in the u.d. (that is, 1 or more) such that P(x) is true. 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

The Universal Quantifier  Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic The Universal Quantifier  Example: Let the u.d. of x be parking spaces at UF. Let P(x) be the predicate “x is full.” Then the universal quantification of P(x), x P(x), is the proposition: “All parking spaces at UF are full.” i.e., “Every parking space at UF is full.” i.e., “For each parking space at UF, that space is full.” Instructors: You can substitute your favorite overly-crowded destination in place of the University of Florida in this example. 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

The Existential Quantifier  Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic The Existential Quantifier  Example: Let the u.d. of x be parking spaces at UF. Let P(x) be the predicate “x is full.” Then the existential quantification of P(x), x P(x), is the proposition: “Some parking space at UF is full.” “There is a parking space at UF that is full.” “At least one parking space at UF is full.” 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Free and Bound Variables Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Free and Bound Variables An expression like P(x) is said to have a free variable x (meaning, x is undefined). A quantifier (either  or ) operates on an expression having one or more free variables, and binds one or more of those variables, to produce an expression having one or more bound variables. 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Example of Binding P(x,y) has 2 free variables, x and y. x P(x,y) has 1 free variable, and one bound variable. [Which is which?] “P(x), where x=3” is another way to bind x. An expression with zero free variables is a bona-fide (actual) proposition. An expression with one or more free variables is still only a predicate: e.g. let Q(y) = x P(x,y) y x 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Nesting of Quantifiers Discrete Math - Module #1 - Logic 12/2/2018 Topic #3 – Predicate Logic Nesting of Quantifiers Example: Let the u.d. of x & y be people. Let L(x,y)=“x likes y” (a predicate w. 2 f.v.’s) Then y L(x,y) = “There is someone whom x likes.” (A predicate w. 1 free variable, x) Then x (y L(x,y)) = “Everyone has someone whom they like.” (A __________ with ___ free variables.) Proposition 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank

Review: Predicate Logic (§1.3) Discrete Math - Module #1 - Logic 12/2/2018 Review: Predicate Logic (§1.3) Objects x, y, z, … Predicates P, Q, R, … are functions mapping objects x to propositions P(x). Multi-argument predicates P(x, y). Quantifiers: [x P(x)] :≡ “For all x’s, P(x).” [x P(x)] :≡ “There is an x such that P(x).” Universes of discourse, bound & free vars. 12/2/2018 (c)2001-2004, Michael P. Frank (c)2001-2002, Michael P. Frank