admin管理员组

文章数量:1530018

作者：罗心澄
链接：https://www.zhihu/question/21191299/answer/17469774
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

在数理逻辑系统中没有使用过，仅在数学证明中使用过。这个符号不是一个标准命题形式语言中的符号。而是一个日常语言中的符号，它的意义是模糊的。

在命题逻辑中，有三个有推出含义的符号容易混淆：
  • 语义后承（semantic consequence），符号是（\models）。语义后承在一般情况下是连接一个命题集合和一个命题。如果，在任何一种语义赋值下，只要命题集合中的每一个命题都为真，那么就一定为真，那么，我们就说是的语义后承，记作。
  • 句法后承（syntactic consequence），符号是（\vdash）。句法后承的用法和语义后承类似，也是连接一个命题集合和一个命题，如，表示的是可以通过句法证明的方式从命题集中得出。即，存在一个证明，使得每个前提要么是公理，要么是中的命题，而证明的结论是。具体来说，一个证明是一个命题序列，其中每个命题要么是公理，要么是前提，要么是由前面的命题通过证明规则得到的。其中最后一个称为结论。
  • 实质蕴含（material implication / material conditional），符号是

本文标签： 句法语义实质consequenceSemantic

版权声明：本文标题：语义后承（semantic consequence），句法后承（syntactic consequence），实质蕴含（material implicationmaterial conditio... 内容由热心网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：https://m.elefans.com/xitong/1726651501a1080006.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。