Accions

Prova Esquema lògic d'una reducció a l'absurd

De Wikisofia

L'esquema lògic d'una reducció a l'absurd és el següent:


[math] p\\ .\\ .\\ .\\ q\wedge \neg q\\ \over\\ \neg p [/math]


E3149-1.png


Una possibilitat és emprar taules, però no queda bé:


[math] p) [/math]
[math] . [/math]
[math] . [/math]
[math] . [/math]
[math] q\wedge \neg q [/math]
__________
[math] \neg p [/math]

Etc., etc. aquí caldria incloure exemples de deduccions fets amb LaTeX i amb línies verticals.... dtc. però els comandaments de crear línies no es veuen bé a Wikisofia.