Once again xalk, you had best be sure you understand what you are talking about.
Here is the symbolic definition of the function being continuous at :
.
Do you understand how to negate quantifiers?
The negation of that statement is:
Please notice that there is no implication in that negation.
The definition of continuity at a point a is :
And the negation of that definition is:
.
You will find the definition and its negation in ANGELO'S MARGARIS book, titled FIRST ORDER MATHEMATICAL LOGIC ,on pages 45 and 46 ,exercise 1(f).
Now if you want me to prove how the negation of the definition of continuity is implied ,i can do that.
This a good example showing what the value is of a correct statement in quantifier form.
Both statements have implications
My perspective on your argument is as follows:
Let A be a well-formed formula in the first order language.
(1) .
(2) .
(3) .
(1) and (2) are equivalent, but (1) and (2) are not equivalent to (3). Although is a well-formed formula (Two place predicate symbol ">" should be defined), (3) is not wff in the first order language.
I think you assumed (1),(2) and (3) are equivalent, since your previous post said,
and such that ,|x|<δ AND |f(x)-f(o)| .
But it is not true. This is why implication is not necessary if we use form (2).
To cut a long story short.
Do you or do you not agree with the formulas written by ANGELO MARGARIS in his book ,FIRST ORDER MATHEMATICAL LOGIC ,pages 45 to 46??
If YOU DO ,there is nothing to be said ,because i do agree with him,except that PLATO'S formulas are wrong.
IF YOU DO NOT, then any arguments should be against ANGELO MARGARIS.
AND I DO APOLOGIZE,if in trying to write those formulas in forms other than their purely symbolical ,i did any mistakes.
This does not mean ,that i cannot respond to your post in more details.
CERTAINLY I CAN ,but somebody will come along and lock the thread ,leaving everybody with simple impressions and loosing the essence of the problem
Having taught courses from Margaris’ book, even though it was years ago, I would say that I well understand the points he is making.
I think that it is you who do not understand the logic here.
On page 45, the instructions for #1 say “Find a useful denial…”
The statement in part (e) is the symbolic statement for continuity; whereas the statement in part (f) is not.
The negation given on page 46 is exactly the one I gave above without any implication.
This is a denial of a universal giving an existential which does not contain an implication.
The formula in part (e) of the question in Margari's book is:
The formula in part (f) of the question in the same book is:
Which is the formula that i wrote in my post # 21
Now if the formula (e) is the right one ,what is the formula (f) for.
Besides ,when we start a proof for continuity at a point ,we start with the assumption:
Let ε>0, a feature which is part of formula (f) and not of formula (e).
IN A FORMAL PROOF for continuity at a point ,only formula (f) is applicable and not formula (e).
HENCE the right formula is (f) and its negation is the formula that i wrote in my post #21
However if you still insist that the right formula is (e) ,you have to prove that .
In a formal proof ,where everything is written down one can easily see that the right formula is (f),whilst in an ordinary mathematical proof the whole issue can be confused.
For example in formaly proving that the simple function,f(x) =2x+3 is continuous at any point c we can only use formula (f)