You are not logged in.
let me use Ax as "for all" and Ex as "for some" or "there exsists.
now my question is, what is the truth value of:
Ax[(x^2=1) implies (x=-1)] u=R
thanks
What you wrote reads:
For all x^2 = 1 implies x = -1.
Does the u=R at the end mean that R (the reals) is the universal set? If so, I think you meant:
For all x in R, x^2 = 1 implies x = -1.
Now to make this statement false, all we have to do is find 1 value x in the reals, such that x^2 = 1 and x <> -1. (<> means does not equal).
Can you find it?
"In the real world, this would be a problem. But in mathematics, we can just define a place where this problem doesn't exist. So we'll go ahead and do that now..."
Offline
There might be a mistake. Why didn't you use Ex?
IPBLE: Increasing Performance By Lowering Expectations.
Offline
I don't think so krassi. It's a good example of how to negate the all quantifier, as well as a good example that shows what breaks down when a function isn't 1-1, if I interpreted it right. Seems to unlikely to just be chance...
"In the real world, this would be a problem. But in mathematics, we can just define a place where this problem doesn't exist. So we'll go ahead and do that now..."
Offline
Oh, yes...
"What's the truth value of..."
Last edited by krassi_holmz (2006-06-10 02:56:56)
IPBLE: Increasing Performance By Lowering Expectations.
Offline