☰

为什么 tableau 包会针对 \newpsstyle 引发“未定义的控制序列”错误？

tag-icon • tag-icon errors diagrams logic
为什么 tableau 包会针对 \newpsstyle 引发“未定义的控制序列”错误？

我正在运行 ubuntu 11.04，第一次尝试使用 tableau 绘制逻辑图。

\documentclass[english]{article}
\usepackage[T1]{fontenc}
\usepackage[latin9]{inputenc}
\usepackage{ifsym}
\usepackage{amstext}
\usepackage{amssymb}
\usepackage{tableau}
\usepackage{babel}
\begin{document}

\
Here I use $\Box$ to represent necessity and $\Diamond$ to represent
possibility.

a) Whether $\Diamond(P\parallel Q) \vdash\Diamond P\parallel\Dimaond Q$

\end{document}

我收到此错误：

...
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texmf-texlive/tex/latex/tableaux/tableau.sty
! Undefined control sequence.
l.151 \newpsstyle
                 {TabDblBarre}{linewidth=.4pt,doubleline=true,doublesep=.6pt}
?

答案1

它看起来tableau是一个相当丑陋的包，不需要其依赖项。因此，您需要pstricks自己包含该包。

还请注意，您拼写错误\Diamond。以下内容有效：

\documentclass[english]{article}
\usepackage[T1]{fontenc}
\usepackage[latin9]{inputenc}
\usepackage{ifsym}
\usepackage{amstext}
\usepackage{amssymb}
\usepackage{pstricks}
\usepackage{tableau}
\usepackage{babel}
\begin{document}

    Here I use $\Box$ to represent necessity and $\Diamond$ to represent
possibility.

a) Whether $\Diamond(P\parallel Q) \vdash\Diamond P\parallel\Diamond Q$

\end{document}

编辑：

该variations包是少量比更干净tableau，并且有适当的文档。

您还可以实现以下“tableau de variations”（很想知道英文名称）Daniel Flippo 的方法，它至少可以与标准 LaTeX 引擎（例如 PDFTeX）配合使用：

\documentclass{article}

\usepackage{tabvar}

\begin{document}

\[\begin{tabvar}{|C|CCCCCCCCC|} \hline
x &-\infty & &-\sqrt[3]{2} & &0 & & 1 & &+\infty
\\ \hline
f\u2019(x) & &- & &- &\dbarre &- & 0 &+ &
\\ \hline
\niveau{3}{3}f(x)
&+\infty &\decroit
&0 &\decroit
&\discont{-\infty}{<}{+\infty} &\decroit
&\frac{3}{2} &\croit
&+\infty
\\ \hline
\end{tabvar}\]

\end{document}

生成结果：

使用 Daniel 的方法

实施这项技术的适当软件包可能不会伤害任何人。

答案2

\usepackage{pstricks}

tableau包裹丢失前

相关内容