一致性 (邏輯)

维基百科，自由的百科全书
（重定向自形式系统相容性）
跳转至： 导航、 搜索

邏輯上而言，一致性（consistency）、相容性、或自洽性，是指其中不蘊涵矛盾。

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

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

参见 [编辑]

E-to-the-i-pi.svg  這是與数学相關的小作品。你可以通过编辑或修订扩充其内容。
来自“http://zh.wikipedia.org/w/index.php?title=一致性_(邏輯)&oldid=25430584”