logical negation of a statement: any mammal that has long ears has at least

Question

Write the negation of the following statement: Any mammal that has long ears has at least one of its predators with yellow eyes having all of its cubs that cannot fly. Write it in the logical mathematical way.

Answer 1

The simple way is to define $P$ as "any mammal that has long ears has at least one of its predators with yellow eyes having all of its cubs that cannot fly" and the negation is $\lnot P$. Presumably you are supposed to define simpler sentences than that, so $M(x)$ is $x$ is a mammal,$ L(x)$ means $x$ has long ears, and your sentence looks like $\forall x (M(x)\wedge L(x))\implies \dots$ Can you finish?

Answer 2

What about this (in a bit free literary form): "All yellow eyes predators of some long ears mammals have flying cubs"?

Vladimir Sotirov

Answer 3

"There is a long-eared mammal, all of whose yellow-eyed predators have flying cubs."

(By the way, cubs never fly. Better is "flying young".)