# Negating a declaration

State in words the negation of the list below sentence : For every martian M, if M is environment-friendly, after that M is high and also ticklish.

I obtained the appropriate response to this, offer or take a couple of words, yet this is an inquiry of kind greater than anything. After transforming this declaration to icons and also negating every little thing, I think of : $\exists M(P \wedge (\neg \text{Tall } \vee \neg\text{ Ticklish})$ therefore in word layout that would certainly be :

There exists a martian such that it is environment-friendly and also not high or otherwise ticklish.

Nonetheless the actually proper solution is :

There is a martian M such that M is environment-friendly yet M is not high or M is not ticklish.

The distinction in between these 2 is a 'yet' and also an 'and also'. Does this mean anything mathematically? Is my variation deal with?

0
2019-12-02 02:54:11
Source Share