可靠性和完全性(提纲)供参习.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