Represent these two statement in first order logic:
$A)$ Only Alligators eat humans
$B)$ Every Alligator eats humans
Is Every represents $\equiv \exists$
Every
and Only represents $\equiv \forall$ ??
Only
Can we differentiate it with verb ‘eat’ and ‘eats’??
https://math.stackexchange.com/questions/3230444/difference-between-only-and-every-keyword-in-mathematical-logic?noredirect=1#comment6646025_3230444
64.3k questions
77.9k answers
244k comments
80.0k users