CS 201 - 11/24/14 On Tuesday, 12/2/14, we will meet in a computer lab to run through a training session on linked lists. We will count partipation in this exercise as a programming project or assignment. ================================= Predicate Logic - Chapter 14 in Aho and Ullman Example for student S getting grade G in course C csg (C, S, G) csg() is the predicate name C, S and G are arguments The statement csg(C,S,G) is true if - student S received grade G in course C ===================== In Propositional Logic statements, we did not have any arguments. So each statement would specify a single particular idea/reltationship. So if we had 50 students taking 20 classes where each class could get one of 5 grades, the total number of Propositional Logic Statement needed to express the same ideas as the above Predicate Logic Statement would be: 50 * 20 * 5 A propositional variable expresses one idea about one entity A predicate statement express one idea about some un-specified entity. To use the predicate statement, we can specify one or more entities.