7.3.1 Negáció

Legyen p egy adott kijelentés (pl.: „A telefonom egy növény").

Kijelentés negációja (tagadása): A p kijelentés tagadásán, negációján a „nem igaz hogy p" kijelentést értjük. (pl.: „A telefonom nem növény", azaz a „nem igaz, hogy p" helyett a „nem p" alakot is használhatjuk.) Jele:

Megjegyzés.

A negáció egy egyváltozós művelet.

A logikai műveletekhez rendelhető egy úgynevezett igazságtábla, mely a műveletben szereplő összes kijelentés minden lehetséges értékére megvizsgálja a művelet eredményét.

A negáció műveletének igazságtáblája:

 


 

Megjegyzés.

Az informatikában az igazságtáblákban az „i" igaz, „h" hamis jelölések helyett az 1 igaz, 0 hamis jelölést használjuk, azaz