[可靠性和完全性提纲.docVIP

第章 （提纲） 1. 现在逻辑基本上都是采用如下结构： 形式语言 语义 语法 语义与语法的关系 形式语言：从初始符号出发，形成主要对象——公式。（可能需要一些其它辅助对象，如在一阶逻辑，就有项的概念）。 公式是一种特殊的符号串（由初始符号组成的符号串）。 语义：给出某种结构，通过某种定义，定义出刻画逻辑规律的有效式。（如在一阶逻辑，我们从结构和赋值出发，给出解释、公式在解释下的真值，用在所有解释下都真定义出有效式）。 有效式是一种特殊的公式，所有有效式的集合是全体公式的一个子集。 语法：由公理和推导规则组成。按某种标准的方法给出证明序列和内定理。（可以有一些推广的概念，最重要的是推演）。 有效式是一种特殊的公式，所有内定理的集合是全体公式的一个子集。 语义与语法的关系：最重要的有两个，可靠性和完全性。 7.1.1定义 所有的内定理都是有效式。 7.1.2定义 所有的有效式都是内定理。 2. 一阶推演系统.2.1引理 (1) ?(???) = T当且仅当（如果?(?) = T，则?(?) = T）。 (2) ?(?1?…??n??) = T 当且仅当（如果?(?1) = T, …, ?(?n) = T，则?(?) = T）。 证 (1) 由定义得?(???) = T当且仅当 ?(?) = F或?(?) = T。?(?) = F或?(?) = T就是（如果?(?) = T，则?(?) = T）。所以，?(???) = T当且仅当（如果?(?) = T，则?(?) = T）。 (2) 对n作归纳。 1. n = 1。由(1)得?(?1??) = T 当且仅当（如果?(?1) = T，则?(?) = T）。 2. n = k+1。?1?…??k+1??也就是?1?…??k?(?k+1??)，由归纳假设?(?1?…??k?(?k+1??)) = T 当且仅当（如果?(?1) = T, …, ?(?k) = T，则?(?k+1??) = T）。由(1)得?(?k+1??) = T 当且仅当（如果?(? k+1) = T，则?(?) = T）。所以，?(?1?…??n??) = T 当且仅当（如果?(?1) = T, …, ?(?n) = T，则?(?) = T）。 7.2.2引理 (1) 如果?(???) = T且?(?) = T，则?(?) = T。 (2) 如果?(???) = T且?(?) = T，则?(?) = T。 证 (1) 如果?(???) = T，则?(?) = F或?(?) = T，又?(?) = T，所以?(?) = T。 7.2.3定理 一阶推演系统的公理都是有效式。 证 A1 ?????。 任给解释?，如果?(?) = T, ?(?) = T，则?(?) = T。 由定理7.2.1(2)，任给解释?，都有?(?????) = T。 A2 (?????)?(???)????。 任给解释?，如果?(?????) = T, ?(???) = T, ?(?) = T，则由?(?) = T和?(?????) = T得?(???) = T，由?(?) = T和?(???) = T得?(?) = T，再由?(?) = T和?(???) = T得?(?) = T。 由定理7.2.1(2)，任给解释?，都有?((?????)?(???)????) = T。 A3 (????)?(?????)?? 任给解释?，如果?(????) = T, ?(?????) = T，则用反证法证明?((?) = T。 假设?(?) = F，则?(??) = T，由?(??) = T和?(????) = T得?(?) = T，由?(??) = T和?(?????) = T得?(??) = T，所以?(?) = F。?(?) = T和?(?) = F，矛盾。 由定理7.2.1(2)，任给解释?，都有?((????)?(?????)??) = T。 A4 ?x???(t / x)，在?中t对x代入自由。 任给解释?，如果?(?x?) = T，则任给a?A，都有?x, a(?) = T，取a = ?(t)，由代入引理得?(?(t / x)) = ?x, a(?) = T。 由定理7.2.1(2)，任给解释?，都有?(?x???(t / x)) = T。 A5 ?x(???)?(?x???x?)。 任给解释?，如果?(?x(???)) = T, ?(?x?) = T，则任给a?A，都有?x, a(???) = T且?x, a(?) = T，所以任给a?A，都有?x, a(?) = T，因此?(?x?) = T。 由定理7.2.1(2)，任给解释?，都有?(?x