高级数理逻辑第3讲精要.docVIP

命题逻辑形式系统（FSPC）－续 命题逻辑语义 P(X)(Q(F(X－a)) A(X)--A(X) X是复数，则（x-a）平方大于等于0； X=R Px是复数 Q(x)代表的是大于等于0 F代表的是平方 X复数 T(P(X))=0.5 P(X)((Q(X)(P(X)) A(B 基本概念 1、什么是形式系统的语义 形式系统与具体的系统无关 能够用形式系统来描述现实系统 把从形式系统解释成“”现实系统的过程成为语义 语义有多种类型：指称语义，克里普克语义，操作语义，公理语义等 2．语义构成 (指称语义) 语义主要有两部分： 结构：（有两个主要部分构成） *确定研究对象集合，论域或个体域 *把形式系统中的变量到论域中的一组规则映射规则 域值：指一组给公式赋值的规则 根据这项规则将 －AtomicValue中 命题逻辑语义 1、语义结构 由于没有变量，所以只有第二部分赋值，值域为{0,1} 赋值规则： T(~A)= 当T（A）＝0时，T(~A)=1。当T（A）＝1时，T(~A)=0。 当T(A)=T(B)=1时，T()=1，其他情况T()=0。 当T(A)＝1或者T（B）＝1情况下，T（）＝1，其他情况T（）＝0。 当T(A)=0时候，T（）=1,当T(B)=1时候，T（）=1。其他情况下T（）=0。 A(B 语义的特殊公式 公式A为永真式，重言式tautologies，如果对一切赋值，. A(A=~AvA (A(A)=1, A((B(A)=1 公式A为永假式，矛盾式contradictions,如果对一切赋值， ~A^A=0 A，B为逻辑等价的，如果对于一切赋值，，记做A╞B(A|=|B) T(A)=T(B),对于任意T A--A A--(B--A) 可满足的，公式A为可满足的，如果至少存在一个赋值， 真值计算 有了赋值映射，我们可以计算任意公式的真值。通常真值计算的方法有：真值表计算方法和二叉树计算方法等。 真值表 真值表是计算真值的简单工具。利用这个工具可以计算任意公式的真值。例如：公式的真值表如下： 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 二叉树 利用二叉树，可视化地计算公式的真值。例如：计算下面公式的真值，并给出他是否是重言式。 故A不为重言式，是可满足的 习题 求以下公式的真值表： （1） （2） （3） p q r 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 逻辑推论（逻辑演算） 有了公式的真值以后，对于一些公式我们可以比较公式的真值得大小。从而可以讨论公式真值之间的关系。 讨论公式之间真值关系的就是我们在语义上进行演算的主要内容。 基本概念 （1）逻辑推论：设是一个FSPC上的公式集合，A是FSPC上的任一公式。A为的逻辑结果，记做|=A，当且仅当对任何赋值映射v，如果＝1时，则。|=读作逻辑蕴涵。 （2）逻辑等价：设公式A和公式B分别为FSPC上的两个公式。A和B为逻辑等价的，记做A|=|B当且仅当A|=B和B|=A同时成立。 （3）永真式：如果A为永真式，则公式集合为空集，即|=A。 逻辑推论的主要方法 （1）永真式代入原理（principle of substitution） 设A(P)为一含有命题变元P的永真式，那么将A中P的每一次出现代换为公式B，所得公式A(B)仍为永真式。 C--(B--C) == C--(X--C) （2）替换原理（principle of replacement） 设命题公式A含有子公式C（C为命题公式），如果C|=|D，那么将A中子公式C提换为命题公式D，所得公式B满足A|=│B。 逻辑等价性：逻辑等价且有自反性、对称性和传递性。 对偶原理： 设A是原子公式和联结符号组成的公式，并且在A中交换以原子公式与其否定互换得到的公式A′,称A′为A的对偶； A|=│A′ A B＝~(~A ～B) 演绎定理： 设为FSPC的公式集合，A和B分别为FSPC上的公式。|=成立的充分必要条件是：