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
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…
Filosofia espekulatiboaFilosofia espekulatiboa esperientziatik at eta modu teorikoan garatzen den filosofia egiteko modua da, arrazoian oinarritua, bereziki gauzen lehen printzipioetaz diharduena, eta beraz bereziki metafisikarekin eta teologiarekin bereziki lotua…
KontraesanakLogikan, kontraesana proposizio bat eta horren aurkakoa aldi berean baieztatzen dituen enuntziatua da. Logika klasikoan honela adierazten dira: [latexpage] $p \land \neq p$. Logika klasikoan eta logika ez…