Mostra la font per a Esquema lògic d'una reducció a l'absurd

{{ConcepteWiki}}
L'esquema lògic d'una reducció a l'absurd és el següent:
{|class="wikitable" style="width: 30%;"
| style="width: 10%"|<math>
p\\
.\\
.\\
.\\
q\wedge \neg q\\ </math>
____________

<math>
\neg p
</math> 
| style="width: 50%"|Això vol dir que si suposem ''p'' i finalment arribem a una contradicció com <math>q\wedge \neg q</math>, llavors hem de concloure la negació de la suposició ''p'', per tant <math>\neg p</math>
|}

----
Suposem que es vol demostrar que «Raül no és magnànim» a partir de les premisses:

1. No és possible que Raül sigui magnànim i sever al mateix temps.

2. Si Raül és magnànim, perdona.

3. O Raül és sever o no perdona.

[[Image:E3149-1Bcat.png|300px]]

{{Etiqueta
|Etiqueta=Lògica
}}
{{InfoWiki}}