一致性 (邏輯)

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

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

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

参见

外部链接

维基词典中的词条「」。
  • Mortensen, Chris. . . 2017 [2022-10-09]. (原始内容存档于2022-12-05).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.