跳转到内容

英文维基 | 中文维基 | 日文维基 | 草榴社区

一致性 (逻辑)

维基百科，自由的百科全书

逻辑上，一致性（consistency）、相容性、自洽性，是指一个形式系统中不蕴涵矛盾。

所谓的矛盾有二种解读方式：

  • 语义上：当一个命题S是由许多命题组成时，如果所有命题可同时为真，则S是一致的，否则S是不一致的。
  • 语法上：公理系统不能推导出两个相反的结果。亦即不存在命题P，使得P→Q和P→~Q同时成立。

参见

[编辑]

外部链接

[编辑]
查看维基词典中的词条“一致性”。
检索自“https://zh-two.iwiki.icu/w/index.php?title=一致性_(邏輯)&oldid=76863393”