„Reductio ad absurdum” változatai közötti eltérés

forrás
[ellenőrzött változat][ellenőrzött változat]
(→‎Lásd még: forrás)
(forrás)
{{lektor}}
{{nincs forrás}}
 
A '''reductio ad absurdum''' ([[latin nyelv|latin]]: visszavezetés az abszurdra) az [[érvelés]] egy formája, amely során az érvelő a vita kedvéért elfogad egy állítást, megmutatja, hogy valamilyen képtelenség következik belőle, és ebből arra jut, hogy az állítás mégse volt igaz.
 
[[Logika]]i megfelelőjének a következő szabályokat szokás tekinteni:<ref>{{Opcit|n =Ruzsa Imre|c =Bevezetés a modern logikába |k = |f = 1 |sz =5 |o =168}}</ref>
 
<center><math> \begin{array}{rcl} \scriptstyle \Gamma, A &\scriptstyle \Rightarrow & \scriptstyle B \\ \scriptstyle \Gamma,A & \scriptstyle\Rightarrow &\scriptstyle \lnot B \\ \hline \scriptstyle \Gamma & \scriptstyle \Rightarrow & \scriptstyle A \end{array} \qquad \qquad \begin{array}{rcl} \scriptstyle \Gamma, A &\scriptstyle \Rightarrow & \scriptstyle \bot \\ \hline \scriptstyle \Gamma & \scriptstyle\Rightarrow &\scriptstyle \lnot A \end{array} </math></center>
 
Itt <math>\scriptstyle \Gamma </math> kijelentések egy halmaza, <math>\scriptstyle A</math> és <math>\scriptstyle B</math> pedig tetszőleges kijelentések, <math>\scriptstyle \bot</math> pedig az ellentmondásnak megfelelő logikai konstans.
 
A [[matematikai logika|matematikai logikában]] a [[kizárt harmadik elve | kizárt harmadik elvének]] kell teljesülnie, hogy ez a fajta következtetés alkalmazható legyen. Az ilyen matematikai bizonyítások végét gyakran jelölik az informális villám (U+21AF: ↯) szimbólummal.