Diferència entre revisions de la pàgina «Esquema lògic d'una reducció a l'absurd»
De Wikisofia
(ue) |
|||
| 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: | ||
| − | + | {|class="wikitable" style="width: 30%;" | |
| − | <math> | + | | style="width: 10%"|<math> |
p\\ | p\\ | ||
.\\ | .\\ | ||
.\\ | .\\ | ||
.\\ | .\\ | ||
| − | q\wedge \neg q\\ | + | q\wedge \neg q\\ </math> |
| − | </math> | ||
____________ | ____________ | ||
<math> | <math> | ||
\neg p | \neg p | ||
| − | </math> | + | </math> |
| − | + | | style="width: 30%"|Això vol dir que si suposem ''p'' i finalment arribem a una contradicció com <math>q\wedge \neg q</math>, llavors hem de concloure la negació de la suposició ''p'', per tant <math>\neg p</math> | |
| + | |} | ||
| + | ---- | ||
Suposem que es vol demostrar que «Raül no és magnànim» a partir de les premisses: | Suposem que es vol demostrar que «Raül no és magnànim» a partir de les premisses: | ||
Revisió del 23:39, 3 oct 2018
L'esquema lògic d'una reducció a l'absurd és el següent:
| [math]\displaystyle{
p\\
.\\
.\\
.\\
q\wedge \neg q\\ }[/math]
____________ [math]\displaystyle{ \neg p }[/math] |
Això vol dir que si suposem p i finalment arribem a una contradicció com [math]\displaystyle{ q\wedge \neg q }[/math], llavors hem de concloure la negació de la suposició p, per tant [math]\displaystyle{ \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.
