一致性（逻辑）

求闻百科，共笔求闻
BXHS-bot（留言 | 贡献）2022年8月16日 (二) 17:01的版本 （WaitSpring-bot移动页面一致性 (邏輯)至一致性（邏輯）：​移动带括号的页面）
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)

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

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

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

参见

取自“https://www.qiuwenbaike.cn/index.php?title=一致性（邏輯）&oldid=2834941”