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.
davidgjavsnv1

Negace konjunkce

Příspěvek od davidgjavsnv1 »

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
Jookyn
Matfyz(ák|ačka) level III
Příspěvky: 115
Registrován: 13. 9. 2008 21:42
Typ studia: Informatika Mgr.

Re: Negace konjunkce

Příspěvek od Jookyn »

Může, protože (A=>notB) je ekvivalentní (notA v notB)
Davidgjavsnv1

Re: Negace konjunkce

Příspěvek od Davidgjavsnv1 »

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ů?
Jookyn
Matfyz(ák|ačka) level III
Příspěvky: 115
Registrován: 13. 9. 2008 21:42
Typ studia: Informatika Mgr.

Re: Negace konjunkce

Příspěvek od Jookyn »

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í.
Odpovědět

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