Negacija

Negacija arba loginė inversija - tai tokia logikos operacija, kur kažkoks teiginys yra paverčiamas priešingu teiginiu, paprasčiausiu būdu - tiesiog pridedant teiginį "ne".

Negacija yra matyt primityviausia loginė operacija, nes ją galima atlikti ne su teiginių pora, o su pavieniu teiginiu. Ir reikšmė gausis visada atvirkščia pirminei.

Tai reiškia, kad funkcija ne("teiginys") duos išdavą "neteiginys", o funkcija ne(neteiginys) duos išdavą "teiginys". Žodžiu, tiesiog atvirkščią.