Pergunta

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?

Nenhuma solução correta

Licenciado em: CC-BY-SA com atribuição
Não afiliado a cs.stackexchange
scroll top