Propositional Logic

Question

Which of the following is the best English translation for 

• A. All humans eat alligator
• B. Alligator eats only human
• C. Every Alligator Eats Human
• D. Only Alligator eats Human

Comments

D?

---

Yeah Brother i am confused.

Doubt between B and D

---

$\forall y[E(y,x) \rightarrow A(y)] $

this tells us that if human is eaten by some y then that y can only be Alligator but it doesn't mean that Alligator cannot eat any other animal.

Answer 1

I think answer is option C

Comments

 I think it is D.

 

This statement finally boils down to (for all x if x is human then (for all y if y  eats x then y is an aligator))