逻辑等价 vDashv

Question

我需要创建一个符号逻辑等价。联系 vDash 并找到合适的垂直线，但我找不到。您能提供建议吗？

Answer 1

虽然mathabx有一些符号可能会有帮助，但使用它意味着改变全部符号字体，一般来说，这是不可取的。

这是一种可能的方法：将\vDash符号叠加到其反射的副本上。

\documentclass{article}
\usepackage{amsmath,amssymb,graphicx}
\newcommand{\Dashv}{%
  \mathrel{\text{\reflectbox{$\vDash$}}}%
}
\newcommand{\vDashv}{%
  \mathrel{%
    \text{%
      \ooalign{$\vDash$\cr\reflectbox{$\vDash$}\cr}%
    }%
  }%
}

\begin{document}
$f\vDash g$

$f\Dashv g$

$f\vDashv g$
\end{document}

我还定义了一个\Dashv带有反射符号的命令。

看\subseteq + \circ 作为单个符号（“开子集”）进行快速介绍\ooalign。

Answer 2

这就是它的意思吗？“逻辑等价”可以表示多种含义，所以我试着按照描述去做，但不是很清楚（和其他人一样）。

代码：

\documentclass{article}

\usepackage{turnstile}

\begin{document}

\[
    P \wedge Q\  \ssststile{}{}\ \sim(\sim P \vee \sim Q)
\]    

\end{document}

这实际上并不是逻辑学家通常所指的逻辑等价符号，但如果它是 之类的符号\vdash，我认为它一定是类似这样的符号。如果这不是所需的符号，那么该turnstile软件包几乎肯定会提供此处所需的符号。它可以生产出多种旋转门。

编辑：实际上，我刚刚意识到它是\vDash而不是\vdash那么可能：

\documentclass{article}

\usepackage{turnstile}

\begin{document}

\[
    P \wedge Q\  \sdststile{}{}\ \sim(\sim P \vee \sim Q)
\]

\end{document}

这是一篇关于该项目（也链接自 CTAN）。

Answer 3

PlainTeX 定义宏\models为

\def\models{\mathrel|\joinrel=}

您可以定义自己的符号 – 例如\tequiv–

\def\tequiv{\mathrel|\joinrel=\joinrel\mathrel|}