Predicate calculus- meaning of the word “any”
-
04-11-2019 - |
Question
In the following 2 statements -
1. Anyone who eats any pumpkin is a nutrition fanatic.
&forall x ((&exist y (PUMPKIN(y) &and EAT(x,y))) &rarr FANATIC(x))
2. Anyone who buys any pumpkin either carves it or eats it.
&forall x &forall y (PUMPKIN(y) &and BUY(x,y) &rarr CARVE(x,y) &or EAT(x,y))
In the first case any pumpkin
is given by &exist
and
in the second case any pumpkin
is given by &forall
Why the second case is also not given by &exist
?
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange