短い罫線にも付いている余白を描画するにはどうすればよいでしょうか?

Question

私は論理の課題に取り組んでおり、LaTeX を使用することになっています。課題では、次のようなものを記述できる必要があることがよくあります。示されている表の書き方はわかっていますが、バーの書き方はわかりません。特にインライン証明がある場合はわかりません。また、前提が複数ある場合はどうすればよいでしょうか。ご協力ありがとうございます。

Answer 1

提供されたmyproof環境内では、\z垂直バーには 、\z*水平フット付きの垂直バーには を使用します。 のオプション引数はmyproofのインデントを指定します\reason。

\par私は環境を再定義するので、あなたはしなければならない証明ステップの間には必ず 1 行の空白行を使用します。

\documentclass{article}
\usepackage{tabto}
\def\zz{1.8\dimexpr}
\makeatletter
\newcommand\z{\@ifstar{\zstar}{\znostar}}
\makeatother
\newcommand\zstar{\makebox[1em][l]{%
  \smash{\rule[-\dimexpr2pt+\zz\dp\strutbox]{.5pt}{\zz\baselineskip}%
    \rlap{\rule[-\zz.9\dp\strutbox]{14pt}{.5pt}}}}\ignorespaces}
\newcommand\znostar{\makebox[1em][l]{%
  \smash{\rule[-\dimexpr2pt+\zz\dp\strutbox]{.5pt}{\zz\baselineskip}}}%
  \ignorespaces}
\let\svpar\par
\newcounter{proofline}
\newenvironment{myproof}[1][1.8in]{%
   \setcounter{proofline}{0}%
   \parskip0.8\baselineskip
   \def\reason{\tabto{#1}}%
   \def\par{\stepcounter{proofline}%
   \svpar\noindent\makebox[1.5em][l]{\theproofline}}%
   \par\ignorespaces
  }
  {\let\par\svpar
   \par\noindent
   \ignorespacesafterend
  }
\begin{document}
\noindent Before
\begin{myproof}
\z* $(P\rightarrow(Q\wedge R))$ \reason Premise

\z\z* $P$ \reason Assumption

\z\z $(Q\wedge R)$ \reason 1,2 $\rightarrow$E

\z\z $R$ \reason 3 $\wedge$E

\z $(P\rightarrow R)$ \reason 2-4 $\rightarrow$I
\end{myproof}
After

\noindent parskip was restored
\end{document}