Accions

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

De Wikisofia

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

E3149-1.png


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.

E3149-1B.png