|Jul15-11, 06:29 AM||#1|
creating a theorem
Given 4 axioms in real Nos:
1) 1x = x ,for all x
2) x+0 = x ,for all x
3) (x+y)z = xz+yz ,for all x,y,z
4) xy =yx ,for all x,y
The cancellation theorem : [tex]\forall[x+y = x+z\Longrightarrow y=z][/tex]
And two laws of logic:
1) The law of Universal Elimination
2) The law of substitution.
Can we create a theorem?.
If yes ,what that theorem may be??
|Jul16-11, 08:53 AM||#2|
Is this homework help or general inquiry? If homework help, what progress have you made before we answer? If simply general inquiry, I'll be more than happy to jump right in!
|Jul16-11, 08:04 PM||#3|
|Similar Threads for: creating a theorem|
|role of mean value theorem in fundamental theorem of calculus proof||Calculus & Beyond Homework||5|
|Creating your own....||General Discussion||9|