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.