Negácia (logika)

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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[upraviť | upraviť zdroj]

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