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
