Representing a sentence in FOL

How to represent the following sentence in FOL ( First Order Logic ) "There is an animal which only eats meat"

Is the following repre开发者_开发技巧santaion true ?

Ǝx Eats(x, meat) where x is animal

No, it's not entirely correct. As pointed out in the comments by Gabe, your expression does not exclude the possibility of x eating other things as well. You'll need to add a conjunct that excludes all foodstuffs that aren't meat. How you do this depends a bit on which kind of logic you're using.

Could he just say:

-Eats(x, y) ^ y != meat

implying meat is the only thing the animal doesn't not eat?

Pretty pessimistic view, but it gets the job done, haha.

One minor correction would make it corrrect. It would look a little silly though. Make Eats into OnlyEats.

I think that a simple way to represent the sentence is:

Ǝx∀y (Animal(x) ∧ Eats(x,y)) --> Meat(y)