472 views
0 votes
0 votes
I have a proposition here

Not Everyone is perfect

The above statement also mean there is someone who is perfect

So can i write

∃xP(x) where P(x) is x is perfect

And in book it is written

∼∀x P(x)

Which one is correct and where am i wrong ?

1 Answer

Best answer
6 votes
6 votes

The above statement also mean there is someone who is perfect

NO. The only thing that you can infer from the above statement is that "There exists someone whose is not perfect."

It may be the case that everybody is not perfect.

This is one of the reasons why plain English is not used for mathematical relations, which tends to lead to ambiguity.

$\neg \forall (x) P(x) \implies \exists (x) \neg (P(x))$

selected by

Related questions

1 votes
1 votes
1 answer
1
Dexter asked May 17, 2016
401 views
Express the quantification ∃!xP(x) using Universal , Existential Quantification and Logical Connectives