Kiel registrite je 17:36, 4 apr. 2013 redakti Addbot (diskuto \| kontribuoj) Patrolantoj 193 405 redaktoj e Roboto: Forigo de 26 interlingvaj ligiloj, kiuj nun disponas per Vikidatumoj (d:q363948) ← Iru al antaŭa ŝanĝo		Kiel registrite je 16:30, 17 nov. 2015 redakti malfari Greatfermat (diskuto \| kontribuoj) 51 redaktoj →‎Kontraŭdiro en la logiko: Eraro en la teksto. Iru al sekvanta ŝanĝo →
Linio 7: Kiam logika inferenco allumigas kontraŭdiron ene de ĝi, oni parolas pri [[Paradokso]] (= konkludo ŝajne neakceptebla devenanta el premisoj ŝajne akcepteblaj), aŭ [[antinomio]]. La kontraŭdiro povas indiki ankaŭ ~~aserto~~aserton kiu estas “ĉiam malvera”, sendepende de la [[vertabelo]] de la propozicioj ĝin komponantaj; laŭ tiu senco ĝi estas la malo de [[taŭtologio]]. Banala ekzemplo de kontraŭdiro kreiĝas en ( <math>A =\land \neg ¬A )</math>: ekzemple, ''pluvas'' kaj ''ne pluvas''. En logika rezonado la kontraŭdiro ekestas en la kazo en kiu, deirante el difinitaj aksiomoj, oni alvenas pruvi ilian malveron, igante tiel memkomprenebla la malverecon de la tuta rezonado. Utiligo de tiu metodo estas la [[Pruvo per disputo\|pruvo per absurdo]].

Kontraŭdiro (filozofio): Malsamoj inter versioj