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

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 deduccions fets amb LaTeX i amb línies verticals.... dtc. però els comandaments de crear línies no es veuen bé a Wikisofia.