Negace

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
Tento článek pojednává o logické operaci. O psychoanalytickém pojmu pojednává článek negace (obranný mechanismus).

Logická negace (používá se pro ni symbol \neg nebo \mathrm{NOT}, popř. se označuje pruhem nad proměnnou) je unární logická operace, jejíž hodnota je nepravda, právě když první vstupní hodnota je pravda a naopak.

Definice[editovat | editovat zdroj]

Pro vstup A vypadá pravdivostní tabulka negace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení):

A \neg A
0 1
1 0

(negace NOT)

Vlastnosti[editovat | editovat zdroj]

\neg (\neg A) = A
\neg (A \and B) = \neg A \or \neg B
\neg (A \or B) = \neg A \and \neg B
\neg (A \implies B) = A \and \neg B
\neg (A \leftrightarrow B) = A \underline \or B (exkluzivní disjunkce)

Související články[editovat | editovat zdroj]