Eitus
Loogikas nimetatakse propositsiooni eituseks ehk negatsiooniks[viide?] selle propositsiooniga kontradiktoorset propositsiooni. Teineteisega kontradiktoorsed propositsioonid on teineteise eitused. Eituseks nimetatakse loogikas ka loogikatehet, mis seab propositsioonile vastavusse selle propositsiooni eituse, ja unaarset tehet, mis seab tõeväärtusele tõene vastavusse tõeväärtus väär ja tõeväärtusele väär tõeväärtuse tõene.