eitus (loogika)

eitus, negatsioon, loogikatehe, mille abil moodustatakse lähteväitest uus väide (lähteväite eitus), mis on tõene, kui lähteväide oli vale, ja vastupidi.

VE, 2006