Negácia (logika)

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

Negácia výroku
Negácia výroku  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  je opačná ako pravdivostná hodnota výroku .

Externé odkazy 
 Negácia na  pohodovamatematika.sk 

Gramatika
Logika
Sémantika