Let us find a counter example to the following universally quantified statement, where the domain for all variables consist of all integers:
∀x(x2≤x3)\forall x (x^2\leq x^3)∀x(x2≤x3)
Indeed, for the integer number x=−2x=-2x=−2 we have that x2=4,x3=−8x^2=4, x^3=-8x2=4,x3=−8. Therefore, it is not true that
x2≤x3x^2\leq x^3x2≤x3.
Need a fast expert's response?
and get a quick answer at the best price
for any assignment or question with DETAILED EXPLANATIONS!
Comments