Reglas de inferencia alineadas en un documento de látex

Question

Hola, estoy intentando escribir una descripción clara paso a paso de las reglas de inferencia, como se muestra en la siguiente imagen.

Parece que hay 3 columnas y en cada columna está alineada al centro.

¿Este formulario solo usa tablas sin líneas? Si hay alguien que tenga experiencia en escribir un documento sobre lógica proposicional, por favor dé algunos consejos. Gracias

Answer 1

A continuación se reproduce una solución proporcionada por @Werner:https://tex.stackexchange.com/a/410766/197451

Se proporcionan dos entornos de prueba:

pruebaA

y

pruebaB

El primero usa un regular tabular, el segundo usa un tabularxque permite texto de párrafo justificado.

MWE

\documentclass{article}

\usepackage{tabularx}

\newcounter{proofstep}
\newcommand{\step}{}
\newenvironment{proofA}
  {\par
   \setcounter{proofstep}{0}%
   \renewcommand{\step}{\refstepcounter{proofstep}\theproofstep. &}%
   \noindent
   \begin{tabular}{ @{} r c l @{}}}
  {\end{tabular}}
\newenvironment{proofB}
  {\par
   \setcounter{proofstep}{0}%
   \renewcommand{\step}{\refstepcounter{proofstep}\theproofstep. &}%
   \noindent
   \tabularx{\textwidth}{ @{} r c X @{} }}
  {\endtabularx}

\begin{document}

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

\begin{proofA}
  \step some math & Justification. \\
  \step some math & Justification.
\end{proofA}

\begin{proofB}
  \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.
\end{proofB}

\end{document}

La fila de encabezado se puede agregar modificando el código para el entorno tabular de la siguiente manera

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