一致性 (邏輯)



邏輯上,一致性(consistency)、相容性、或自洽性,是指一個形式系統中不蘊涵矛盾。


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



  • 語義上:當一個命題S是由許多命題組成時,如果所有命題可同時為真,則S是一致的,否則S是不一致的。


  • 語法上:公理系統不能推導出兩個相反的結果。亦即不存在命題P,使得P→Q和P→~Q同時成立。


参见


  • 哥德尔完备性定理

  • 哥德爾不完備定理

  • 完备性

  • 嚴謹 (數學)




Popular posts from this blog

京昆高速公路

【情報】本週珍珠商品重點:煉金時裝 + 艾港勞工宿舍!!

【攻略】陳戈-謝勒汗智慧的古書 (完成)