woland
Administrátor |
# Zasláno: 13 Bře 2006 04:18 | Změnil/a: woland
Předložená věta má tvar disjunkce (vyskytuje se tam spojka nebo) a ta je pravdivá právě tehdy, když alespoň jeden z výroků, z nichž se skládá, je pravdivý, jinak je nepravdivá. Jinými slovy, disjunkce je nepravdivá právě tehdy, když oba dva její členy jsou nepravdivé.
V takové té standardní tabulce to vypadá tak, že "disjunkce má všude jedničky - kromě posledního řádku".
Když máme disjunkci "Jsem veselý nebo jsem zasněný" znegovat, znamená to, že hledáme takovou větu, která je pravdivá v situaci, kdy obě dvě věty "Jsem veselý." a "Jsem zasněný." pravdivé nejsou, a ve všech ostatních případech má být uvažovaná negace nepravdivá (pův. výrok je tam totiž pravdivý - negace/opak má převracet pravdivostní hodnoty).
"Nejsem veselý a nejsem zasněný." je právě ona hledaná věta (jde o konjunkci - spojka a - a ta je pravdivá jenom v těch případech, že obě dvě části jsou pravdivé, jinak je nepravdivá).
Znegovat disjunkci znamená zaměnit jí za konjunkci a původní části znegovat.
negace (A nebo B) zní tedy "ne-A a ne-B".
Analogicky to funguje v případě konjunkce:
negace (A a B) je tedy (ne-A nebo ne-B).
Tomu se říká deMorganova pravidla a najdete je v každé učebnici logiky.
|
