Kontraesanak

Logikan, kontraesana proposizio bat eta horren aurkakoa aldi berean baieztatzen dituen enuntziatua da. Logika klasikoan honela adierazten dira: p \land \neq p. Logika klasikoan eta logika ez estandar gehienetan kontraesanak ezin dira egiazkoak izan.

Ikus, gainera