propositional function "x ≥ x^2
is true or false
Could someone tell me if I am correct, if not please explain:
∼(∀x,P(x)) = true
Basically I just prove that (∀x,P(x)) = true and then use the not operator to convert my answer to false.
Is this a correct way to prove this?