Negácia (logika)

Negácia (z lat.) je logické prevrátenie hodnoty alebo výroku. Označuje sa znakom $\neg$ alebo apostrofom za výrokom '. Ak máme výrok $A$, potom negácia výroku $A$ môže vyzerať takto $\neg A$ alebo $A '$.

Negácia výroku

Negácia výroku $A$ je výrok, ktorý vytvoríme popretím pravdivosti daného výroku pomocou logickej spojky „nie“ alebo „nie je pravda, že“.

Pravdivostná hodnota negácie výroku $A$ je opačná ako pravdivostná hodnota výroku $A$.

$p(A)$	$p( \neg A)$
0	1
1	0