数理逻辑-逻辑公理系统2010.ppt

可靠性定理(3)—公理5 设Ai 是公理A5 ?x( A?B) ?(A??xB)。其中x不是公式A的自由变元。 若I(?x( A?B) )(v)=0， 则I(?x( A?B) ?(A? ?xB))(v)=1 若(?x( A?B) )(v)=1，且I(A)(v)=0， 则I(A??xB)(v)=1， 所以I(?x( A?B) ?(A? ?xB))(v)=1 若(?x( A?B) )(v)=1，且I(A)(v)=1， 则对于任意d?D， I(?x( A?B) )(v[x/d])=1。 因为I(A)(v)=1，所以 I(B)(v[x/d])=1。从而I(?xB)(v)=1， 即I((A??xB))(v)=1， 因此有I(?x( A?B) ?(A??xB))(v)=1 可靠性定理(4)—MP规则 若Ai?Γ，则Γ├ Ai, 对于v(Γ)=1， Ai?Γ有v(Ai)=1，所以 Γ |= Ai 假设in时定理成立 证明i=n时， 设Ai由Aj, Ak用MP规则推出， 其中j,ki，Ak为Aj→Ai。 由归纳假设知，Γ├ Aj且Γ├ Aj→Ai ， 所以Γ|=Aj， Γ|=Aj→Ai Γ|=Ai 。 因此Γ|=A 即Γ|= A 可靠性定理(5 )—UG规则 证明i=n时， 设Ai由Ak用UG规则推出，其中ki， Ai=?xAk 由归纳假设知，Γ├ Ak， 所以Γ|=Ak。 因为Ai=?xAk ，对于任意d?D，I(Ak)(v[x/d])=1， 所以， I(?xAk )(v[x/d])=1 因此Γ|=An 即Γ|= A。 协调 定义3.6 如果对于每个公式A，Γ├ A，则Γ称不协调，否则称Γ协调。 定理3.12若Γ├ ?p(x) ∧ p(x) ，则Γ不协调。 定理3.13 若Γ协调，则Γ可满足。 完备性定理—命题 若Γ╞A，则Γ├ A 证明： 若真值赋值v满足Γ?{?A}， 则v(?A)=1且v(A)=1，出现矛盾 因此，Γ?{?A}不可满足 所以Γ?{?A}不协调，即Γ?{?A}├A Γ├ ?A ?A 又因为├ (?A ?A)? A 所以Γ├ A 推论： 若╞A，则├A 完备性定理—谓词 若Γ╞A，则Γ├ A 证明 设B是A的闭包。 若解释I满足Γ，必然满足B，即不满足?B， 所以Γ?{?B }不可满足，Γ?{?B }不协调， Γ?{?B }├ B 。 由演绎定理知，Γ├ ?B ? B， 因为├ (?B ? B)? B ，故Γ├ B ， 因此，Γ├ A。 带等词的一阶公理系统 t=t (t11=t21 ) ?… ? t1n=t2n?f(t11,…,t1n)=f(t21,…,t2n) t11=t21?… ? t1n=t2n?R(t11,…,t1n)=R(t21,…,t2n) 可靠性定理 若Γ├ P ，则Γ|= P 完备性定理 若Γ╞A，则Γ├ A 皮亚诺专用公理（不完全性与完全性） 语言 L ==,+，°, s, 0，其中+, °是二元运算符，s是一元函数符（后继运算符），0为常元。 理论（逻辑公理+专用公理） ?x(s(x)?x) ?x?y (x?y?s(x)?s(y)) ?x(x+0=x) ?x?y(x+s(y)=s(x+y)) ?x(x°0=0) ?x?y(x°s(y)=x°y+x) (p(0)??x(p(x)?p(s(x))))??xp(x) 其中p(x)是任意公式。 罗丹-思想者 * * * ├ (Q?(Q?R)) ?(Q?R) 根据演绎规则 (Q ?(Q ?R))├ Q ?R (Q ?(Q ?R) ,Q├ R A1= Q ?(Q ?R) A2= Q A3= Q ?R A4=R ├ (P?(Q?R)) ?(Q?(P?R)) 根据演绎规则 P ?(Q ?R) ├ Q ?(P ?R) P ?(Q ?R) ,Q ├ P ?R P ?(Q ?R) ,Q, P ├ R A1= P?(Q ?R) A2= P A3= Q ?R A4=Q A5=R P,Q├P ?Q P,Q, ? ? (P ? ?Q)├Q， P,Q, ? ? (P ? ?Q)├ ?Q A1= P A2= Q A3= ? ? (P ? ?Q) A4= ? ? (P ? ?Q) ? (P ? ?Q) A5= P ? ?Q A6= ?Q 所以有P,Q├ ? (P ? ?Q)，即P,Q├ P ?Q 再看传递律 P?Q,Q?R├P?R ├(Q ? R) ?((P ?Q) ?(P ?R)) ├(P ? Q) ?((Q ?R) ?(P ?R)) ├ (P?Q) ?(P?R) ?(P?Q ? R) 演绎定理：(P?Q) ?(P?R) ，P ├ Q ? R A1= ( P?Q) ?(P?R) A2= P A3= ( P?Q) ?(P?R) ?