#How do I typeset logical inferences in this style?

1 messages · Page 1 of 1 (latest)

shy mica
#

Is there an environment that I can use to typeset logical inferences like this with the antecedent on the top and consequence on the bottom with a therefore symbol? I've searched around and only found one where the antecedent is placed side to side.

Any help would be much appreciated!

image.png
vale tulip
#

[\begin{array}{rl}
&p\
&p\to q\\cline{2-2}
\therefore&q
\end{array}
]

warm idolBOT
#

\jamie

691654679494525048.png
vale tulip
# 
\[\arraycolsep=1.4pt
\begin{array}{rl}
&p\\
&p\to q\\\cline{2-2}
\therefore&q
\end{array}
\]
warm idolBOT
#

\jamie

691654679494525048.png
shy mica
#

ooo, I didn't know the cline command exists lol, thx a lot!