¿Qué es?
No se ha añadido ninguna twiki todavía.
El esquema lógico de una reducción al absurdo es el siguiente:
Supongamos que se quiere demostrar que «Raúl no es magnánimo» a partir de las premisas:
1. No es posible que Raúl sea magnánimo y severo al mismo tiempo.
2. Si Raúl es magnánimo, perdona.
3. O Raúl es severo o no perdona.
