definice jsou uz dokazane a nedokazuji se, ano dokazat se daji ale proc by to nekdo delal kdyz vi ze jsou pravdive, jinak receno mezi definici a axiomem je jen maly rozdil? dokazuji se vety a tvrzeni, protoze to jsou veci z definic plynouci, casto ne tak jasneNedokazují se pouze Axiomy, definice se dokázat dají i když to býva někdy časově náročné...
Nefunguje client?
Započal
Dalamar
, 15.09.06 08:36
96 odpovědí na toto téma
#91
Shahdee&Farroth
-
- Kronikář
-
- 3211 Příspěvků:
Velmistr
- Gender:Male
Odesláno 19.11.2006 20:39
#92
Shahdee&Farroth
-
- Kronikář
-
- 3211 Příspěvků:
Velmistr
- Gender:Male
Odesláno 19.11.2006 20:42
jak jkdybych vedel jakou udela moje NEAGCE paseku tak sem nic nenegoval... no tak ja tu negaci neguju...
ja bych radsi aby na gameparku znegovali nazev tohohle topicu
#93 Host_Ariadna_*
Host_Ariadna_*
-
- Host
Odesláno 20.11.2006 01:47
nemuzu si pomoct. Sry
Ale proc bysme je dokazovali, kdyz uz i ty ,stejne jako definice, predtim nekdo urcite dokazal a vime, ze jsou pravdive?
Jinak je fajn, ze chvili nesla Demona a ja si tu stihla zopaknout cast vyrokove logiky.
dokazuji se vety a tvrzeni, protoze to jsou veci z definic plynouci, casto ne tak jasne
Ale proc bysme je dokazovali, kdyz uz i ty ,stejne jako definice, predtim nekdo urcite dokazal a vime, ze jsou pravdive?
Jinak je fajn, ze chvili nesla Demona a ja si tu stihla zopaknout cast vyrokove logiky.
#94
Shahdee&Farroth
-
- Kronikář
-
- 3211 Příspěvků:
Velmistr
- Gender:Male
Odesláno 20.11.2006 07:28
mno tak to je to co by me taky zajimalo...ale proste se to tak dela :)Ale proc bysme je dokazovali, kdyz uz i ty ,stejne jako definice, predtim nekdo urcite dokazal a vime, ze jsou pravdive?
#95
Freppi Nerisen
-
- Hráč
-
- 708 Příspěvků:
Starší tovaryš
- Gender:Male
Odesláno 20.11.2006 11:08
Tak samozřejmě až vám bude někdo tvrdit, že pí je 22/7,k tomu přídá nějaké pěkné definice, tak už můžete jen kývat hlavou ...
#96
Maslostroj
-
- Hráč
-
- 2381 Příspěvků:
Cechmistr
- Location:Víceméně Karviná
- Interests:Books & Pubs
Odesláno 20.11.2006 12:39
No proč ne, Země je taky kulatáTak samozřejmě až vám bude někdo tvrdit, že pí je 22/7,k tomu přídá nějaké pěkné definice, tak už můžete jen kývat hlavou ...
#97
Ascayavion
-
- Hráč
-
- 1120 Příspěvků:
Znalec
- Location:Jabal Toubkal
Odesláno 20.11.2006 23:23
Jeeezisi jaky pekny topic a ani som si nekopol
Jednoduchsie, cez kvantifikatory:
"DM ma vzdy pravdu" = "pre vsetky vyroky DM plati, ze su pravdive"
nasleduje negacia
"existuje vyrok DM taky, ktory nie je pravdivy" = "DM niekedy nema pravdu"
Formalnejsie cez booleovu algebru jak povedala Freppi.
K definiciam: Definicie su v podstate oznacenia logicky korektne odvodenych matematickych objektov. Nic viac, nic menej.
Jednoduchsie, cez kvantifikatory:
"DM ma vzdy pravdu" = "pre vsetky vyroky DM plati, ze su pravdive"
nasleduje negacia
"existuje vyrok DM taky, ktory nie je pravdivy" = "DM niekedy nema pravdu"
Formalnejsie cez booleovu algebru jak povedala Freppi.
K definiciam: Definicie su v podstate oznacenia logicky korektne odvodenych matematickych objektov. Nic viac, nic menej.
0 uživatelů si čte toto téma
0 členů, 0 návětěvníků, 0 anonymních
