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 .

01
10

Externé odkazy

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.