☰

LaTeX 中的四行三段论

tag-icon • tag-icon logic
LaTeX 中的四行三段论

在 LaTeX 中，一个三段论可以有三个前提吗？该syllogism包输出以下内容

                                                   

通过写这个

\syllog{Test}
{Test}
{Test}
{Test}

我读了软件包文档却没有成功（这里）。

编辑：所需的输出形式为：

                                                   

答案1

您需要syllogism软件包中的哪些特定功能无法通过其他（更简单的）方式实现？例如，使用如下定义

\usepackage{amssymb}
\newcommand\syllogism[3][]{%
  \begin{center}
  \def\tmp{#1}%
  \ifx\tmp\empty\else(#1)\quad\fi
  \begin{tabular}{@{}l@{}}
    #2\\\hline#3\quad$\therefore$
  \end{tabular}
  \end{center}
}

在你的序言中你可以写类似的东西

\syllogism[S1]{
  All Greek men are mortal.\\
  Socrates is a man.\\
  Socrates is Greek.
}{
  Socrates is mortal.
}

（具有任意多个前提）获得

在此处输入图片描述

对于复杂的证明，有几个包，例如www.actual.world/latex。

\documentclass{article}
\usepackage{amssymb}
\newcommand\syllogism[3][]{%
  \begin{center}
  \def\tmp{#1}%
  \ifx\tmp\empty\else(#1)\quad\fi
  \begin{tabular}{@{}l@{}}
    #2\\\hline#3\quad$\therefore$
  \end{tabular}
  \end{center}
}
\begin{document}
\syllogism[S1]{
  All Greek men are mortal.\\
  Socrates is a man.\\
  Socrates is Greek.
}{
  Socrates is mortal.
}
\end{document}

相关内容