Olá, estou tentando escrever uma descrição passo a passo das regras de inferência, como na imagem abaixo
Parece que há 3 colunas e em cada coluna está alinhada ao centro.
Este formulário usa apenas tabelas sem linhas? Se houver alguém que tenha experiência em escrever um documento sobre lógica proposicional, por favor, dê algumas dicas. Obrigado
Responder1
Uma solução fornecida por @Werner é reproduzida abaixo –https://tex.stackexchange.com/a/410766/197451
Dois ambientes de prova são fornecidos:
provaA
e
provaB
O primeiro usa um regular tabular, o segundo usa um tabularxque permite texto de parágrafo 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}
A linha do cabeçalho pode ser adicionada modificando o código do ambiente tabular da seguinte maneira
\begin{tabular}{ @{} r c l @{} }
& \textbf{Step} & \textbf{Reason}\\
1. & some math & Justification. \\
2. & some math & Justification.
\end{tabular}
