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.