一致性 (邏輯)

在邏輯上，理論的屬性不包含矛盾

此條目沒有列出任何參考或來源。 (2022年4月18日)
維基百科所有的內容都應該可供查證。請協助補充可靠來源以改善這篇條目。無法查證的內容可能會因為異議提出而被移除。

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

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

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

參見

外部連結

查看維基詞典中的詞條「一致性」。

Mortensen, Chris. Inconsistent Mathematics. Stanford Encyclopedia of Philosophy. 2017 [2022-10-09]. （原始內容存檔於2022-12-05）.

這是一篇關於數學的小作品。您可以透過編輯或修訂擴充其內容。

取自「https://zh.wikipedia.org/w/index.php?title=一致性_(邏輯)&oldid=76863393」