1. Express each of these statements using predicates and quantifiers.

a) All dogs are mammals but not all mammals are dogs.

Let the domain for x be the set containing all animals.

Let D(x): x is a dog.

Let M (x): x is a mammal.

b) Some birds eat frogs.

Let the domain for x,y be the set containing all animals.

Let F(x): x is a frog.

Let B(x): x is a bird.

Let E(y, x): y eats x.

c) All mice eat cheese.

Let the domain for x be the set containing all animals.

Let M(x): x is a mouse.

Let E(x): x eats cheese.