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

a
nincs szerkesztési összefoglaló
[ellenőrzött változat][ellenőrzött változat]
a (Matematikai bizonyítások kategória hozzáadva (a HotCattel))
aNincs szerkesztési összefoglaló
 
[[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 \lnot 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.
 
[[Retorika]]ilag hasonló, de logikai értelemben nem feltétlen helyes érvelés a [[reductio ad ridiculum]], amikor egy olyan következtetést vezetnek le az állításból, ami nem mindenkinek, hanem csak a hallgatóság számára abszurd.
* [[végtelen leszállás]]
* [[reductio ad Hitlerum]]
 
== Források ==
* {{cite book|title=Bevezetés a modern logikába|author=Imre Ruzsa |publisher=Osiris Kiadó|location=Budapest|year= 2000|isbn=963 379 978 3}}
 
== Forráshivatkozások ==
<references/>