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

Átnéztem a logikát és javítottam
[ellenőrzött változat][ellenőrzött változat]
a (Bot: következő hozzáadása: ar:البرهان بنقض الفرض)
(Átnéztem a logikát és javítottam)
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:
[[Logika]]i megfelelője a [[modus tollens]]: <math>P\to Q, \neg Q \vdash \neg P</math>, azaz ha P-ből következik Q, és Q nem igaz, akkor P sem igaz. A [[matematikai logika|matematikai logikában]] az [[ellentmondásmentesség]] és bizonyos esetekben a [[kizárt harmadik]] axiómájának kell teljesülnie, hogy ez a fajta következtetés alkalmazható legyen. Az ilyen matematikai bizonyítások végét gyakran a villám (U+21AF: ↯) szimbólummal jelölik.
 
<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>
[[Retorika]]ilag hasonló, de logikailag nem 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.
 
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.
 
[[Logika]]i megfelelője a [[modus tollens]]: <math>P\to Q, \neg Q \vdash \neg P</math>, azaz ha P-ből következik Q, és Q nem igaz, akkor P sem igaz. A [[matematikai logika|matematikai logikában]] aza [[ellentmondásmentesség]]kizárt ésharmadik bizonyoselve esetekben| a [[kizárt harmadik elvének]] axiómájának kell teljesülnie, hogy ez a fajta következtetés alkalmazható legyen. Az ilyen matematikai bizonyítások végét gyakran ajelölik az informális villám (U+21AF: ↯) szimbólummal jelölik.
 
[[Retorika]]ilag hasonló, de logikailaglogikai é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.
 
== Példák ==