Negace

Je navrženo začlenit sem veškerý obsah z článku negace výroku, třeba jako novou část, a oba tak sloučit. (diskuse)
Odtamtud sem pak má vést přesměrování.

Tento článek pojednává o logické operaci. O psychoanalytickém pojmu pojednává článek negace (obranný mechanismus).

Tento článek potřebuje úpravy.

Můžete Wikipedii pomoci tím, že ho vylepšíte. Jak by měly články vypadat, popisují stránky Vzhled a styl, Encyklopedický styl a Odkazy.
Konkrétní problémy: Úvodní věta je velmi nesrozumitelná a nepřesná

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

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

$\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

• Booleova algebra
• Zákon o vyloučení třetího