更改 lplfitch.sty 中的逻辑符号

Question

我正在使用 lplfitch.sty 生成 Fitch 风格的自然演绎证明。我想使用与预定义符号不同的符号。具体来说，我想使用 \sim 而不是 \neg 来表示否定，使用 \supset 而不是 \rightarrow 来表示条件。我该如何更改这些？

Answer 1

您不喜欢的命令用简单的命令定义\newcommand：

\newcommand*\lif{\rightarrow}

只需修改它的定义以满足您的口味：

\renewcommand*\lif{\supset}

接下来您需要重新定义\lnot：

\renewcommand*\lnot{\mathord{\sim}}

（请注意，这\mathord是必要的，因为\sim否则将被视为二元关系符号）。

\documentclass{article}
\usepackage{lplfitch}

\renewcommand*\lif{\supset}
\renewcommand*\lnot{\mathord{\sim}}

\begin{document}

$\uni{x}{\exi{y}{(P(x)\lif \lnot Q(x,y))}}$

\end{document}