| 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." |
|||||||||||
