MHB Where is the mistake in this formal proof?

  • Thread starter Thread starter solakis1
  • Start date Start date
  • Tags Tags
    Mistake Proof
AI Thread Summary
The discussion identifies a critical flaw in a formal proof regarding the theorem in real numbers. The initial statement, asserting that for all x, if for all y, xy equals y, then x must equal 1, is incorrect. The proof fails when considering the case where x equals 2 and y equals 0, demonstrating that the theorem does not hold universally. The correct formulation should specify that y must not equal 0 to avoid division by zero errors. This highlights the importance of careful assumptions in mathematical proofs.
solakis1
Messages
407
Reaction score
0
we have the following formal proof:

i) $$\forall x[\forall y(xy=y)\Longrightarrow x=1]$$.......theoren in real Nos

2)$$\forall y(xy=y)\Longrightarrow x=1$$......1,U.E ,x=x

3) $$(x0=0)\Longrightarrow x=1$$...... 2,U.E ,y=0

4)$$\forall A[A.0=0]$$........Theorem in Real Nos5) )$$[x.0=0]$$........4,U.E, A=x

6) x=1........3,5 M.Ponens

7) )$$\forall A[A=1]$$........ 6,U.I

U.E=Universal Elimination

U.I = Universal Introduction

I am afraid to say i find no mistake
 
Last edited:
Physics news on Phys.org
The very first line is wrong, it should be:

1) $\forall x[\forall (y \neq 0): (xy = y ) \implies x = 1]$

One can see that your statement is clearly untrue by letting:

$x = 2, y = 0$

so it is not a theorem of the real numbers.

(Moral of the story: don't go proving stupid things by dividing by 0).
 
Deveno said:
The very first line is wrong, it should be:

1) $\forall x[\forall (y \neq 0): (xy = y ) \implies x = 1]$

One can see that your statement is clearly untrue by letting:

$x = 2, y = 0$

so it is not a theorem of the real numbers.

(Moral of the story: don't go proving stupid things by dividing by 0).
1)$$\forall y(xy=y)$$.......hypothesis

2)$$ (x1=1)$$.........1,U.E ,Y=1

3)$$\forall A[A.1=A]$$.......Axiom in Real Nos

4))$$ [x1=x]$$.......3,U.E,A=x

5) x=1........Substituting ( 4) into (2)

6)$$\forall y(xy=y)\Longrightarrow x=1$$....... From (1) to (5) by using the rule of conditional proof

7)$$\forall x[\forall y(xy=y)\Longrightarrow x=1]$$..........6,U.I

Where is the mistake
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top