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
Elkarneurgaiztasuna eta elkarneurgarritasuna (filosofia)Filosofian, elkarneurgaiztasuna bi teoria alderatu eta kontrajartzeko ezintasuna adierazten duen ezaugarria da, teoria horiek kontzeptu ezberdinak erabiltzeagatik; hala gertatzen denean, teoriak elkarneurgaitzak direla esaten da. Aurkako kontzeptua elkarneurgarritasuna…
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
