# Section 1.8 Predicate Logic with multiple variables ```Section 1.8
Predicate Logic with multiple variables
Activity #1 (Review)
How would you write these in English? Assume that the
domain for x is all humans.
( x) [ GoesToUNI(x)  Smart(x) ]
( x) [ GoesToUNI(x)  Smart(x) ]
( x) [ GoesToIowa(x)  Smart(x) ]
( x) [ GoesToIowa(x)  Smart(x) ]
Multiple variables
• What do you do when you need to use more
than one variable?
• For example, Monday in one of the sections
of this class someone introduced the
predicate:
– Everyone likes cheese
Multiple variables
• Everyone likes cheese
• One way to say this is:
 x LikesCheese(x)
• Another way is to say:
 x Likes(x,CHEESE)
Multiple variables
 x Likes(x,CHEESE)
• The advantage of this last statement is that
it allows us to easily make related
CHOCOLATE or COFFEE or anything.
Multiple variables
• And once you have that you can start to talk
about generic things that generic people
like:
( x)(  y) Likes(x,y)
Multiple variables
• If a predicate has more than one variable,
each variable must be bound by a separate
quantifier
Order matters.
• These two statements actually mean very
different things:
• ( x)(  y) Likes(x,y)
• ( y)( x) Likes(x,y)
Activity #2
• How would you write these in English? Assume
that the domain for x and y is humans.
–
–
–
–
–
–
( x)( y) Likes(x,y)
( x)(  y) Likes(x,y)
( x)(  y) Likes(x,y)
( x)( y) Likes(x,y)
( y)( x) Likes(x,y)
( y)(  x) Likes(x,y)
```