Esquema lògic d'una reducció a l'absurd

L'esquema lògic d'una reducció a l'absurd és el següent:

[math]\displaystyle{ p\\ .\\ .\\ .\\ q\wedge \neg q\\ \line(1,0){40}\\ \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.