| Autor |
Zpráva |
jaja7958
Člen |
# Zasláno: 20 Úno 2007 16:37
Zadání "Úkol budeš řešit dlouho nebo nenajdeš řešení"
má se najít ekvivalentní tvrzení ..
správná odpověď : "Jestliže najdeš řešení, budeš úkol řešit dlouho".
... ale teď když na to tak koukám - tak možná vím proč ... Aby byla disjunkce pravdivá musí být alespoň jedna (nebo obě) části výroků pravdivé. A když je pravda, že najdu řešení (druhá část výroku je nepravda) aby byla zachována pravdivostní hodnota 1 celého výroku - první část výroku musí být tedy pravdivá ...
Je tedy obvyklé za ekvivalentní výrok pro disjuknci považovat implikaci kdy znegujeme jednu část výroků a druhou část necháme pravdivou ???
|
woland
Administrátor |
# Zasláno: 20 Úno 2007 20:15
Ano, je to přesně tak, jak říkáte!
A nebo B
je ekvivalentní výroku
Jestliže ne-A, pak B.
Ale jelikož je známo, že "Jestliže ne-A, pak B" je také ekvivalentní s "Jestliže ne-B, pak A", tak ten půbodní výrok můžeme zapsat i takto.
|
woland
Administrátor |
# Zasláno: 20 Úno 2007 20:16
Mimochodem, když máte větu "Jestliže A, pak B.", tak její ekvivalentní formulace (samozřejmě je to jedna z mnoha možností) zní "ne-A nebo B".
|
Anonymní
|
# Zasláno: 11 Dub 2007 14:59
Ahoj, muzete mi prosim nekdo vysvetlit, proc to nemuze byt moznost d??
|
