一百多年前的排版挑战

2024-5-24 • tag-icon

我是 LaTeX 的新手。我现在正在排版 Frege 的 Begriffsschrift 的正式证明，如下所示：

如图所示，我决定将证明的所有元素放入 3x3 表中。这是我的代码：

\documentclass{article}
%load package
\usepackage[utf8]{inputenc}
\usepackage[a4paper, hmargin=1cm, tmargin=1cm, bmargin=2cm]{geometry}
\usepackage{array, amsmath, amssymb, grundgesetze}

%set up counter

%set up command
\newcommand{\MP}{\noindent\rule{3cm}{0.5pt}}
\newcommand{\ThNum}[1]{\multicolumn{2}{l}{#1}\\}

%set up environment
\newenvironment{Frege}
 {\begin{tabular}{lcr}}{\end{tabular}}
\newenvironment{Sub}
 {\begin{tabular}{r|l}}{\end{tabular}}
\newenvironment{Begriff}
 {\begin{minipage}{\linewidth}}{\end{minipage}}

\begin{document}
\begin{Frege}
 \begin{Sub}
 \ThNum{1}
 $q$ &
 \setlength{\GGlinewidth}{10pt}\GGconditional{\GGterm{q}}{\GGterm{p}}\\
 $p$ &
 \setlength{\GGlinewidth}{10pt}\GGconditional{\GGterm{p}}
 {\GGconditional{\GGterm{q}}{\GGterm{p}}}\\
 \end{Sub}
 &
 \begin{Begriff}
 \setlength{\GGlinewidth}{10pt}\GGjudge\GGconditional{\GGterm{p}}
 {\GGconditional{\GGterm{q}}{\GGterm{p}}}
 \end{Begriff}
  & \\
 12 & \MP &\\
\end{Frege}

\end{document}

我使用宏grundgesetze来表示弗雷格符号。我遇到了四个问题：

小前提的第一行和它的数值不在同一行。我该如何做？
我把所有替换都放在一个表格中，以便轻松插入垂直线。但这样做的缺点是表格中的所有内容都太小了。我该如何修复它？或者还有其他方法可以轻松插入垂直线吗？
大前提数的单元格突然扩大，破坏了我所有的安排。它出了什么问题？我该如何修复它？
我不知道如何将结论（新定理）的编号放在单元格中的准确位置。您能给我一些建议吗？

PS 目前编译后的结果：

相关内容