Represent these two statement in first order logic:
A) Only Alligators eat humans
B) Every Alligator eats humans
Is Every represents ≡∃
and Only represents ≡∀ ??
Can we differentiate it with verb ‘eat’ and ‘eats’??
Represent these two statement in first order logic:
A) Only Alligators eat humans
B) Every Alligator eats humans
Is Every represents ≡∃
and Only represents ≡∀ ??
Can we differentiate it with verb ‘eat’ and ‘eats’??
No. Both 'Every alligator eats humans' and 'Only alligators eat humans' are general statements, and so both require a $\forall$
No ... the fact that one statement in English ends up with 'east' and the other with 'eat' is just a fluke of the English language. But since you mean the same action of one thing eating another, you'll have to use the same predicate for logic.
The correct translations, where $A(x)$ mreans '$x$ is an alligator' and $E(x)$ means '$x$ eats humans':
'Every alligator eats humans': $\forall x (A(x) \to E(x))$
'Only alligators eat humans': $\forall x (E(x) \to A(x))$