Logikan, kontraesana proposizio bat eta horren aurkakoa aldi berean baieztatzen dituen enuntziatua da. Logika klasikoan honela adierazten dira: 
. Logika klasikoan eta logika ez estandar gehienetan kontraesanak ezin dira egiazkoak izan.
Ikus, gainera
Loturiko artikuluak
LogikaLogika inferentzia deduktiboaren bidezko arrazonamendua aztertzen duen jakintza-arloa da, premisa izeneko proposizioetatik konklusioetara nola heldu aztertzen duena; zehatzago, arrazonamendu horren baliozkotasun formala aztertzen du, premisetatik konklusiora egindako urratsak…
KorolarioaBereziki matematikan eta logikan, korolarioak teorema batetik zuzenean eta maiz frogapen berezirik gabe eratortzen diren proposizioak dira.
Kontraesankorrak (kontraesandunak)Logika klasikoan, bi adierazpen kontraesankorrak edo kontraesandunak direla esaten da, aldi berean ezin direnean egiazko izan, ez eta aldi berean faltsu, bata bestearen ukapena direnez. Ikus, gainera Kontraesanak
Gizapedia
