391 views

Represent these two statement in first order logic:

$A)$ Only Alligators eat humans

$B)$ Every Alligator eats humans

Is Every represents $\equiv \exists$

and Only represents $\equiv \forall$ ??

Can we differentiate it with verb ‘eat’ and ‘eats’??

There

Only means " Only one"

Every means "All"

But, predicate logic not supports it
What is meaning of Everyone in english translation

Is it not mean All ??

But in predicate logic it means each one and that represents by there exists$\left ( \exists \right )$ i.e. representation of "some" but not "all'

right??

1 vote