we have
works.
we have
Why does not work? The book said
we have is false since its negation is true. But I would like to know why could s = t+1 not be used?
Thanks
we have
works.
we have
Why does not work? The book said
we have is false since its negation is true. But I would like to know why could s = t+1 not be used?
Thanks
The answer may appear to be too subtle: it is a matter of order.
Let’s translate the sentence into standard English.
It would be: “Some non-negative number is greater than or equal to every non-negative number.”
Surely put that way the expression is clearly false.
Do you see why order makes a different?
In a word, you are saying that ‘s is fixed’, it comes first, and it has a certain relation to every other t.