数理逻辑蕴含_数理逻辑＝﹥ ，|－这两个符号有什么区别？

-

谢邀。

以我在数理逻辑系统的感觉是，如果是专注于传统的模型论和 Hilbert Style 系统的话，那么

并不常见，反而是数学证明中更加常见。证明论里面写 sequent 的时候有些人喜欢用

，而另一些人喜欢用

。

在经典命题逻辑中，有三个有推出含义的符号容易混淆：语义后承(semantic consequence)，符号是

(\models)。语义后承在一般情况下是连接一个命题集合和一个命题。如果，在任何一种语义赋值

下，只要命题集合

中的每一个命题都为真，那么

就一定为真，那么，我们就说

是

的语义后承，记作

。

句法后承(syntactic consequence)，符号是

(\vdash)。句法后承的用法和语义后承类似&