一致性（邏輯）

求聞百科，共筆求聞
於 2022年8月16日 (二) 17:01 由 BXHS-bot（留言 | 貢獻） 所做的修訂 （WaitSpring-bot移动页面一致性 (邏輯)至一致性（邏輯）：​移动带括号的页面）
(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)

邏輯上，一致性（consistency）、相容性、自洽性，是指一個形式系統中不蘊涵矛盾。

所謂的矛盾有二種解讀方式：

  • 語義上：當一個命題S是由許多命題組成時，如果所有命題可同時為真，則S是一致的，否則S是不一致的。
  • 語法上：公理系統不能推導出兩個相反的結果。亦即不存在命題P，使得P→Q和P→~Q同時成立。

參見

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