Negace konjunkce

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

Negace konjunkce

Příspěvekod davidgjavsnv1 » 23. 3. 2011 12:40

Zdravím,

Dívám se teď kousek na logiku, a napadla mi jedna otázka. Negace pokud se nemýlím je věta, která za stejných situací nabývá opačné pravdivostní hodnoty než původní věta. Proč tedy nemůže být negaci konjunkce ve tvaru A a B, taky věta A=>negB?
Dyť nabývá dycky opačných pravdivostních hodnot než původní konjunkce.

Budu vděčný za vysvětlení, nikde jsem to nenašel
davidgjavsnv1
 

Re: Negace konjunkce

Příspěvekod Jookyn » 23. 3. 2011 19:52

Může, protože (A=>notB) je ekvivalentní (notA v notB)
Jookyn
Matfyz(ák|ačka) level III
 
Příspěvky: 115
Registrován: 13. 9. 2008 20:42
Typ studia: Informatika Mgr.
Login do SIS: 80320124

Re: Negace konjunkce

Příspěvekod Davidgjavsnv1 » 24. 3. 2011 08:05

Aha. Dík moc. a proč se tedy všude píše pouze o tom, že negací konjunkce je disjunkce negací jednotlivých výroků?
Davidgjavsnv1
 

Re: Negace konjunkce

Příspěvekod Jookyn » 24. 3. 2011 22:49

Asi třeba proto, že to je nejjednodušší formule...

Ono těch negací formulí (alespoň podle definice, co jsi uvedl) je spoustu, ale všechny jsou sémanticky ekvivalentní.
Jookyn
Matfyz(ák|ačka) level III
 
Příspěvky: 115
Registrován: 13. 9. 2008 20:42
Typ studia: Informatika Mgr.
Login do SIS: 80320124


Zpět na AIL062 Výroková a predikátová logika

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 2 návštevníků

cron