数理逻辑最难篇节 第四篇纲要精华.pptVIP

说明 主要针对中国科院哪一版本的书 可靠性完备性 可靠性定理：若∑├A，则∑╞A。 完备性定理：若∑╞A，则∑├A。 可满足性和有效性 定理： A是可满足的 iff ?A是不有效的。 A是有效的 iff ?A是不可满足的。 证明： 必要性：若A可满足，则存在赋值v，使得Av=1。可得， (?A)v=0。因此， ?A是不有效的。 充分性：若?A是不有效的，则存在赋值v，使得(?A)v=0。可得， Av=1。因此，A是可满足的。 定理 若A(u1，u2，…，un)是可满足的 iff ?x1?x2…?xnA(x1，x2，…，xn) 是可满足的。 证明： A(u)可满足 iff 存在赋值v，使得A(u)v=1 iff 存在赋值v，使得A(u)v(u/uv)=1 iff 存在赋值v，使得(?xA(x))v=1 iff ?xA(x)可满足 使用归纳证明即可。 定理 若A(u1，u2，…，un)是有效的 iff ?x1?x2…?xnA(x1，x2，…，xn) 是有效的。 证明： A(u)有效 iff ?A(u)不可满足 iff ?x(?A(x))不可满足 iff ??xA(x)不可满足 iff ?xA(x)有效的 使用归纳证明即可。 定理： A可满足 iff A的前束范式是可满足的 A有效 iff A的前束范式是有效的 定义： ∑在论域D中可满足 iff 存在以D为论域的赋值v，使得∑v=1。