Fórum studentů MFF UK

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

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

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ů?

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