Hi I'm trying to write a neat step by step description of rules of inference just like the picture below

It seems like there are 3 columns and on each column it is center aligned.

Is this form just using tables without lines?? If there is anyone who has experience writing a document on propositional logic pls give out some tips. Thanks

The latex I want to make

  • 3
    As you already guessed, you could do this with a tabular environment. Did you already try something?
    – leandriis
    Mar 23, 2020 at 16:43
  • @Aesop did the answer suit your requirement
    – js bibra
    Mar 24, 2020 at 17:14
  • Yup! Thanks a lot guys!!! Solved it by using packages
    – Aesop
    Mar 26, 2020 at 12:24
  • yet I was wondering if there was any possible way to meet the criteria without additional packages. I was using an app called quiver, which is an application that renders latex in latex cells. But I think it actually uses Mathjax to render the Latex Cells and it was kinda tricky for me use to packages... Thank you so much for the thorough answers!!!
    – Aesop
    Mar 26, 2020 at 12:50

1 Answer 1


A solution provided by @Werner is reproduced below -- https://tex.stackexchange.com/a/410766/197451

Two proof environments are provided:




The first uses a regular tabular, the second uses a tabularx that allows for justified paragraph text.

enter image description here




   \renewcommand{\step}{\refstepcounter{proofstep}\theproofstep. &}%
   \begin{tabular}{ @{} r c l @{}}}
   \renewcommand{\step}{\refstepcounter{proofstep}\theproofstep. &}%
   \tabularx{\textwidth}{ @{} r c X @{} }}


\begin{tabular}{ @{} r c l @{} }
  1. & some math & Justification. \\
  2. & some math & Justification.

  \step some math & Justification. \\
  \step some math & Justification.

  \step some math & This is just another sentence that will span at least two 
   lines. Well, now it will, for sure! \\
  \step some math & Justification.


The header row can be added by modifying the code for the tabular environment as follows

\begin{tabular}{ @{} r c l @{} }
     & \textbf{Step} & \textbf{Reason}\\
  1. & some math     & Justification. \\
  2. & some math     & Justification.

enter image description here

You must log in to answer this question.

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