Mostra la font per a Prova Esquema lògic d'una reducció a l'absurd

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


<math>
p\\
.\\
.\\
.\\
q\wedge \neg q\\
\over\\
\neg p
</math>


<center>[[Image:e3149-1.png|250px]]</center>


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


{|class="wikitable" style="width: 10%;"
|-
| <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.