© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Existential Quantifier
•
existential (
$
)
- “There exists”
–
$
x
f
-
“
There exists x such that
f
is true.”
–
same as
Ø
"
x
Ø
f
•
"There is a block on the table."
•
Challenging: "If a block is above another
block, then the block is on the other block
or on a block that is above it."
