Prova Esquema lògic d'una reducció a l'absurd
De Wikisofia
La revisió el 16:06, 3 oct 2018 per Jorcor (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} 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>...».)
La revisió el 16:06, 3 oct 2018 per Jorcor (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} 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>...».)
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.
