求闻百科
搜尋
切換搜尋
切換選單
切換個人選單
一致性(邏輯)
求聞百科,共筆求聞
更多語言
閱讀
檢視原始碼
檢視歷史
頁面
討論
更多操作
邏輯
上,
一致性
(consistency)、
相容性
、
自洽性
,是指一個
形式系統
中不蘊涵
矛盾
。
所謂的矛盾有二種解讀方式:
語義
上:當一個命題S是由許多命題組成時,如果所有命題可同時為真,則S是一致的,否則S是不一致的。
語法
上:
公理系統
不能推導出兩個相反的結果。亦即不存在命題P,使得P→Q和P→~Q同時成立。
參見
哥德爾完備性定理
哥德爾不完備定理
完備性
嚴謹 (數學)
不一致的謬誤
矛盾
破釜邏輯
這是一篇關於數學的
小作品
。你可以透過
編輯或修訂
擴充其內容。
閱
論
編