-
可靠性定理
鎖定
可靠性定理分類
弱可靠性定理
演繹系統的弱可靠性定理聲稱,在這個演繹系統中任何可證明的句子,在所有釋義或這個理論所基於的語言的語義理論的模型上為真。用符號表示,這裏的S是演繹系統,而L是語言和一起的它的語義理論,而P是L的句子。
強可靠性定理
演繹系統的強可靠性定理聲稱,演繹系統所基於的語言的任何句子P,可以從這個語言的一個句子集合Γ推導出來,則它也是這個集合Γ的語義推論,在使Γ的所有成員為真的任何模型也使P為真的意義上。用符號表示,這裏的Γ是L句子的一個集合。
[1]
可靠性定理聯繫
可靠性定理的逆命題是語義完備性定理。在強形式下,它聲稱對於一個演繹系統和語義理論,是一個句子集合的語義推論的任何句子可以在這個演繹系統中從這個集合推導出來。(在一階完備性定理的情況下常叫做哥德爾完備性定理。)用符號表示:若,則。
非形式的,演繹系統的可靠性定理告訴我們用這個演繹系統可以推導或證明的任何東西都是你希望能夠推導或證明的東西。因此,沒有你不想推導出的東西可以被推導出來。所以,推導關於語義可以被信任。完備性告訴我們你希望能被推導或證明的所有東西都可以被推導出來。
哥德爾不完備定理保證對於有充分表達力的語言,可能沒有演繹系統關於經典語義是完備的,在其中所有句子是要麼為真要麼為假。因此,不是所有可靠的演繹系統都是完備的。
- 參考資料
-
- 1. 可靠性定理 .MBA智庫[引用日期2020-06-26]