☰

带有时间戳的步骤的推断

tag-icon • tag-icon logic
带有时间戳的步骤的推断

我想要实现的目标如下：

在此处输入图片描述

实现期望输出的正确方法是什么？

答案1

一个简单的tabular？

梅威瑟：

\documentclass{article}

\begin{document}
\begin{tabular}{rl}
  11:15: & Now(11:15), Meet(B,Lunch,12:00), \\
         & Now(11:15am) $\to$ Go(Lunch) \\
  \cline{2-2}
  11:16: & \textbf{Now(11:16)}, Meet(B,Lunch,12:00), \\
         & Now(11:15am) $\to$ Go(Lunch) \\
  \cline{2-2}
  \dots: & \dots \\
  \cline{2-2}
  \cline{2-2}
  11:45: & \textbf{Now(11:45)}, Meet(B,Lunch,12:00), \\
         & Now(11:15am) $\to$ Go(Lunch) \\
  \cline{2-2}
  11:46: & \textbf{Now(11:46)}, Meet(B,Lunch,12:00), \\
         & Now(11:15am) $\to$ Go(Lunch), \textbf{Go(Lunch)} \\
\end{tabular}
\end{document}

在此处输入图片描述

答案2

您也可以尝试使用bussproof。这不是直接的方法，但这是我的选择：

\documentclass[11pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}

\alwaysNoLine
\AxiomC{Now(11:15), Meet(B,Lunch,12:00),}
\LeftLabel{11:15}
\UnaryInfC{Now(11:45am)$\rightarrow$Go(Lunch)}
\alwaysSingleLine
    \UnaryInfC{Now(11:16),Meet(B,Lunch,12:00),}
    \LeftLabel{11:16}
    \alwaysNoLine
    \UnaryInfC{Now(11:45am)$\rightarrow$Go(Lunch)}
    \alwaysSingleLine
        \UnaryInfC{}
        \alwaysNoLine
        \UnaryInfC{$\cdots$}
        \UnaryInfC{}
        \alwaysSingleLine
            \UnaryInfC{Now(11:45),Meet(B,Lunch,12:00),}
            \LeftLabel{11:45}
            \alwaysNoLine
            \UnaryInfC{Now(11:45am)$\rightarrow$Go(Lunch)}
            \alwaysSingleLine
\UnaryInfC{Now(11:46),Meet(B,Lunch,12:00),}
\LeftLabel{11:46}
\alwaysNoLine
\UnaryInfC{Now(11:45am)$\rightarrow$Go(Lunch), Go(Lunch)}

\end{prooftree}
\end{document}

这给出了： 具有防总线功能 我不知道这是否有用，但你也可以得到这个： 示例 2 使用：

\documentclass[11pt]{article}
\usepackage[utf8]{inputenc}  
\usepackage{bussproofs}
\begin{document}
\begin{center}
\begin{prooftree}
\alwaysNoLine
\AxiomC{Now(11:15), Meet(B,Lunch,12:00),}
\LeftLabel{11:15}
\UnaryInfC{Now(11:45am)$\rightarrow$Go(Lunch)}
\AxiomC{Now(11:16),Meet(B,Lunch,12:00),}
\LeftLabel{11:16}
\UnaryInfC{Now(11:45am)$\rightarrow$Go(Lunch)}
\AxiomC{$\cdots$}
\AxiomC{Now(11:45),Meet(B,Lunch,12:00),}
\LeftLabel{11:45}
\UnaryInfC{Now(11:45am)$\rightarrow$Go(Lunch)}
\alwaysSingleLine
\QuaternaryInfC{Now(11:46),Meet(B,Lunch,12:00),}
\LeftLabel{11:46}
\alwaysNoLine
\UnaryInfC{Now(11:45am)$\rightarrow$Go(Lunch), Go(Lunch)}
\end{prooftree}
\end{center}
\end{document}

网站逻辑问题列出了可以在 LaTeX 中用于逻辑的包。

相关内容