☰

不寻常的总线证明推导

tag-icon • tag-icon logic proof-package bussproofs
不寻常的总线证明推导

我正在尝试排版这些样稿总线防护（以使它们与我的其他证明保持一致）但我找不到一个好的方法：

证明（1）和（2）

我尝试过使用各种组合\根位于顶部几乎没有成功（例如我无法添加第二对虚拟点在第一次推导中没有把所有东西都弄乱；第二次推导中的字母“I”脱离了它们的线并且没有对齐。

在此处输入图片描述

（1）

    \AxiomC{$A$} \noLine    
\UnaryInfC{$\strut \vdots$} 
    \rootAtTop
    \AxiomC{$\strut \vdots$}  \noLine
    \UnaryInfC{$x \vphantom{y}$} 
    \AxiomC{$\strut \vdots$}  \noLine
    \UnaryInfC{$y$} 
\BinaryInfC{$xy$}
\rootAtBottom   
    \AxiomC{$B$} \noLine
\UnaryInfC{$\strut \vdots$} 
\TrinaryInfC{$C$}
\DisplayProof

（2）

\rootAtTop
        \AxiomC{$x \vphantom{y}$} \noLine
    \UnaryInfC{$\ \vphantom{/}$}
        \AxiomC{$y \vphantom{/}$}
        \AxiomC{$\ \vphantom{/}$}
        \AxiomC{$\ \vphantom{/}$}
    \TrinaryInfC{$yz$} 
\BinaryInfC{$xyz$}
\rootAtBottom
    \AxiomC{}
\BinaryInfC{$ xy$}
\AxiomC{$z$}
\BinaryInfC{$C$}
\DisplayProof

还有其他人遇到过类似的证据或有什么建议吗？

答案1

无论是它bussproofs还是其更灵活的后继者都不ebproof适合绘制您在这里需要的校样。排版的一致性无疑是一个值得追求的目标，但有时工具并不能满足您的需要。

tabular使用或进行证明并不难array。这里，我使用了 Ti钾Z 矩阵。可能是一个标准tabular，或者array会更简单，但matrix我脑子里想的是库。

首先是结果。

结果

\documentclass[border=10pt]{standalone}
\usepackage{tikz}
\usetikzlibrary{matrix}
\begin{document}
\begin{tikzpicture}
  \matrix (e) [matrix of math nodes, nodes in empty cells, nodes={text depth=2.5pt, text height=7.5pt}]
  {
    A && xy && B\\
    \vdots &&&& \vdots\\
    \vdots & x && y & \vdots\\
    \vdots & \vdots && \vdots & \vdots\\
    && C && \\
  };
  \draw (e-2-2.center -| e-3-2.west) -- (e-2-4.center -| e-4-4.east) (e-4-1.south -| e-1-1.west) -- (e-4-5.south -| e-1-5.east);
\end{tikzpicture}
\begin{tikzpicture}
  \matrix (p) [matrix of math nodes, nodes in empty cells, nodes={text depth=2.5pt, text height=7.5pt}]
  {
    & xyz & & & \\
    & & yz & & \\
    x & y & & \\
    xy & & & z \\
    & & C & & \\
  };
  \draw (p-1-1.south west) -- (p-1-3.south -| p-2-3.east) (p-2-2.south west) -- (p-2-3.south east) (p-3-1.south -| p-4-1.west) -- (p-3-2.south east) (p-4-1.south west) -- (p-4-4.south east) ;
\end{tikzpicture}
\end{document}

相关内容