Ausrichten von Inferenzregeln auf Latex-Dokumenten

Question

Hallo, ich versuche, eine übersichtliche Schritt-für-Schritt-Beschreibung der Inferenzregeln zu schreiben, genau wie im Bild unten

Es scheint, als ob es drei Spalten gäbe und jede Spalte wäre zentriert.

Benutzt dieses Formular nur Tabellen ohne Zeilen?? Wenn jemand Erfahrung mit dem Schreiben eines Dokuments zur Aussagenlogik hat, kann er mir gerne ein paar Tipps geben. Danke

Answer 1

Unten sehen Sie eine von @Werner bereitgestellte Lösung:https://tex.stackexchange.com/a/410766/197451

Es stehen zwei Beweisumgebungen zur Verfügung:

BeweisA

Und

BeweisB

Die erste verwendet ein normales tabular, die zweite ein tabularx, das Blocksatztext ermöglicht.

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}

Die Kopfzeile kann durch Ändern des Codes für die tabellarische Umgebung wie folgt hinzugefügt werden

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