数理逻辑期中试卷以及答案.doc

PAGE 1 PAGE 3 厦门大学《＿ 厦门大学《＿数理逻辑＿》课程期末试卷 信息科学与技术学院计算机科学系2004年级＿＿＿专业 主考教师：＿＿＿＿试卷类型：（A卷/B卷） 注意事项：如果是证明题，要写清楚每一步骤的理由。理由不写或者理由错误则扣分。 一、(10分)设命题公式A的复杂度deg(A)递归地定义如下： deg(A)=0，对于原子公式A deg((~A)))=deg(A)+1 deg((AB))=max(deg(A),deg(B))+1 证明对于任意公式，公式的复杂度?公式中连接词的个数； 分别给出使（1）中，＝成立的公式例子。 （1）证明：使用数学归纳法，施归纳于公式的复杂度（连接词的个数） 基础步：当A为原子公式时，deg(A)=0，A中连接词个数也为0。命题成立。 归纳步：设连接词个数小于等于n时命题成立，现在证明当连接词个数为n+1时命题依然成立。可以分为以下两种情形： i. 当公式形如~A时，因为deg(A)=n，所以deg((~A)))=deg(A)+1=n+1，命题成立。 ii. 当公式形如AB时，因为deg(A)=n且deg(B)=n，所以deg((AB))=max(deg(A),deg(B))+1=n+1，命题成立。 综上，命题成立。 （2）当A为(pq) (pq)时，则deg(A)=2，而A中连接词个数为3。2＜3。 当A为p时，deg(A)=A中连接词个数=0。 二、(10分)证明｛~，｝不是连接词的充足集。 证明：要证明{~，?}不是充足集，只要说明存在一个命题函数，这个命题函数无法用{~，?}表示即可。这可以如下证明： （1）任一仅由p,q, ~，?组成的公式A(p, q)，其可能的真值表只有八种，如下表，每一表中弄真指派总是偶数个。 p q 1 2 3 4 5 6 7 8　 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 0 这可以通过对A中联结词~，?的个数进行归纳证明。 基础步：若A恰好是原子命题p, q，其取值如第3列和第4列所示，各有两个弄真指派。 归纳步：若A为A1?A2或~A1,设A1和A2只有如上表所示八种取值可能，易逐一计算验证，A1?A2，~A1的取值仍在这八种之列，弄真指派总是偶数个。 （2）弄真p∨q的指派却为三个：（1,1），（1,0），（0,1），因此p∨q不可能同任何仅用p,q, ~，?组成的公式等价，即V不能用表示~和?表示。 三、(10分)设A，B，C是命题系统L的公式，证明├L (~BA) (~AB)。 证明： （1）(~BA) 前提 （2）~A 前提 （3）~B 前提 （4）A (1)(3)MP （5）~A (AB) 书上定理命题2.11a （6）(AB) (2)(5)MP （7）B (4)(6)MP 所以(~BA) , ~A, ~B ├L B 根据演绎定理有(~BA) , ~A├L ~B B 又因为├L (~B B) B（书上定理命题2.11b） 根据MP规则得(~BA) , ~A├L　 B 根据演绎定理有(~BA) ├L　(~A B) 四、（15分）更改形式系统L的公理模式，得到新的形式系统L′，使得一个公式是L的定理当且仅当一个公式是L′的定理。 解：P49书上习题。 五、（10分）在语义层面上比较说明x(A(x) B(x))与 xA(x) x B(x)两式的蕴涵关系。 解：在语义层面上，（1）xA(x) x B(x) |= x(A(x) B(x))，而（2）x(A(x) B(x)) 不蕴涵xA(x) x B(x)。以下分别说明。 （1）对任意的解释I，记I的论域为D。在I下，若xA(x) x B(x)为真，则xA(x) 为真或者x B(x)为真。以下分为两种情况：若xA(x) 为真，则对于任意x属于D，A(x)成立。因此，对于任意x属于D，A(x)成立或者B(x)成立。从而在I下，x(A(x) B(x))为真。若x B(x)为真，同理可得在I下x(A(x) B(x))为真。 综上可得，xA(x) x B(x) |= x(A(x) B(x))。 （2）令解释I如下：个体域D为整数集合；A(x)表示谓词“x=0”；B(x)表示谓词“x＜0”。则在解释I下，x(A(x) B(x))为真，而xA(x) x B(x)为假。 六、（15分）设A和B是一阶语言?中公式，若x不在B中自由出现，证明：├K x(AB)((x A)B)。（注意：在K系统中xA定义为~x~ A） 证明： (1) ~ ((x A)B) 前提 (2）~ ((x A)B) x A