Let us find a counter example to the following universally quantified statement, where the domain for all variables consist of all integers:
"\\forall x (x^2\\leq x^3)"
Indeed, for the integer number "x=-2" we have that "x^2=4, x^3=-8". Therefore, it is not true that
"x^2\\leq x^3".
Comments
Leave a comment