 |
|
| node: | 20.12.2005-17:03:23 |
| template: | 4 |
| parent: | Tento clanok nie je o tom o com tento clanok je |
| owner: | Mios |
| viewed by: | |
| created: | 20.12.2005 - 17:03:23 |
|
cwbe coordinatez: 101 63533 635429 21798 2042702 ABSOLUT KYBERIA |
| permissions | |
| you: | r, |
| system: | public |
| net: | yes |
total descendants::
total children::2
Pekny clanok mozno iba taky maly detail:
(a.0)=0 nie je nazozdiel od a.1=1, a+0=0 axiom.
Ak chceme dospiet k tomu ze a.0 = 0 musime to dokazat.
a.0 = 0
a.(0+0) = 0
a.0 + a.0 = 0 // + -(a.0)
a.0 + a.0 + -(a.0) = 0 + -(a.0)
a.0 + 0 = -(a.0)
a.0 = -(a.0) => a.0 = -(a.0) = 0
(a.0)=0 nie je nazozdiel od a.1=1, a+0=0 axiom.
Ak chceme dospiet k tomu ze a.0 = 0 musime to dokazat.
a.0 = 0
a.(0+0) = 0
a.0 + a.0 = 0 // + -(a.0)
a.0 + a.0 + -(a.0) = 0 + -(a.0)
a.0 + 0 = -(a.0)
a.0 = -(a.0) => a.0 = -(a.0) = 0