3 Mar 2004
CS 3243 - Chapter 8
14
Properties of quantifiers
n"x "y is the same as "y "x
n$x $y is the same as $y $x
n
n$x "y is not the same as "y $x
n$x "y Loves(x,y)
¡“There is a person who loves everyone in the world”
n"y $x Loves(x,y)
¡“Everyone in the world is loved by at least one person”
n
nQuantifier duality: each can be expressed using the other
n"x Likes(x,IceCream) Ø$x ØLikes(x,IceCream)
n$x Likes(x,Broccoli) Ø"x ØLikes(x,Broccoli)