Diferència entre revisions de la pàgina «Esquema lògic d'una reducció a l'absurd»
De Wikisofia
m (Text de reemplaçament - "Raúl" a "Raül") |
|||
Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
L'esquema lògic d'una reducció a l'absurd és el següent: | L'esquema lògic d'una reducció a l'absurd és el següent: | ||
+ | |||
+ | <center><math> | ||
+ | p\\ | ||
+ | .\\ | ||
+ | .\\ | ||
+ | .\\ | ||
+ | q\wedge \neg q\\ | ||
+ | \line(1,0){40}\\ | ||
+ | \neg p | ||
+ | </math></center> | ||
+ | |||
+ | |||
<center>[[Image:e3149-1.png|250px]]</center> | <center>[[Image:e3149-1.png|250px]]</center> |
Revisió del 16:03, 3 oct 2018
L'esquema lògic d'una reducció a l'absurd és el següent:
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.