2.8 逻辑符号

命题逻辑

  命题逻辑五个运算符，我用表格整理如下：

命令	符号	含义
\land	$\wedge$	合取
\lor	$\vee$	析取
\lnot	$\neg$	否定
\implies	$⟹$	蕴涵
\iff	$⟺$	等价

谓词逻辑

  谓词逻辑就两个符号：

命令	符号	含义
\exists	$\exists$	存在
\forall	$\forall$	任何

证明论

  我整理了以下符号：

命令	符号	含义
\models	$\models$	语义蕴含
\vDash	$\models$	语义蕴含
\vdash	$⊢$	语法推导
\nvdash	$⊬$	不可证明
\nvDash	$⊭$	不语义蕴含

其他

  哥德尔数：

命令	符号	含义
\ulcorner M \urcorner	$┌M┐$	哥德尔数