Originally Posted by

**rcmango** Rewrite the following statement using iniversal and existential quantifiers.

1.For all animals x, if x is a dog, then x has paws and x has a tail.

the correct answer: There exists animal x, x is a dog and either x has no paws or x has no tail.

...However, this next statement is this true?

p = Jim is tall and thin.

~p = Jim is not tall and thin.

..where only one part of the sentence is negated.

if it is indeed true, then is this not correct: there exists animals x, if x is a dog, then x has paws and x does not have a tail.