1

I'm trying to write several inference rules aligned like this but I've run into some difficulties and haven't found a suitable way to do it.

Any ideas ?

Thanks for your help.enter image description here

1

1 Answer 1

2

You can use arrays separated by whatever space you choose.

enter image description here

\documentclass{article}

\begin{document}

\[
\begin{array}{c}
A \\
(\lnot A \lor C)\\ \hline
C
\end{array}\qquad
%
\begin{array}{c}
A \\
(\lnot A \lor C)\\ \hline
C
\end{array}\qquad
%
\begin{array}{c}
A \\
(\lnot A \lor C)\\ \hline
C
\end{array}\qquad
%
\begin{array}{c}
A \\
(\lnot A \lor C)\\ \hline
C
\end{array}
\]

\end{document}

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .