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’??
The tests are there but it ain't free. Cost is...