Prova Esquema lògic d'una reducció a l'absurd
De Wikisofia
La revisió el 16:36, 3 oct 2018 per Jorcor (discussió | contribucions)
La revisió el 16:36, 3 oct 2018 per Jorcor (discussió | contribucions)
L'esquema lògic d'una reducció a l'absurd és el següent:
[math]\displaystyle{ p\\ .\\ .\\ .\\ q\wedge \neg q\\ \line(1,0){40}\\ \neg p }[/math]
Una possibilitat és emprar taules, però no queda bé:
| [math]\displaystyle{ p) }[/math] |
| [math]\displaystyle{ . }[/math] |
| [math]\displaystyle{ . }[/math] |
| [math]\displaystyle{ . }[/math] |
| [math]\displaystyle{ q\wedge \neg q }[/math] |
| __________ |
| [math]\displaystyle{ \neg p }[/math] |
Etc., etc. aquí caldria incloure exemples de deducions amb LaTeX i línies verticals...