negator

negator (latinski: koji poriče, nijekalac), riječ ili znak koji u logici iskaza služi kao izraz negacije. Prirodni jezici mogu na raznovrsne načine ugrađivati negaciju u neko stajalište ili rečenicu, kako to pokazuje upotreba negacije »ne« u hrvatskom jeziku. U jezicima logike i matematike negator se u pravilu stavlja na početak negiranoga stava. Danas se u tim jezicima kao znak negacije obično upotrebljava ¬ p.