1、1,第五章 作业,补充填空题： (1) x yF(x,y)的前束范式为 xyF(x,y) 。 (2)由量词分配等值式,x(A(x)B(x) xA(x) xB(x) (3)缩小量词的辖域，x(F(x)B) xF(x) B (4)公式(xG(x) x F(x) yG(y) x F(x)的类型为 永真式 。,2,第四章 作业,补充填空 (1)设F(x): x具有性质F，G(x)：x具有性质G。命题“有的x既有性质F又有性质G”的符号化形式为 x(F(x)G(x)(2)设F(x): x具有性质F，G(y)：y具有性质G。命题“若存在x具有性质F，则所有的y都没有性质G”的符号化形式为 xF(x)y G
2、(x)(3)在一阶逻辑中，将命题符号化时，若没有指明个体域，则使用_全总 个体域。(4)设A为任意的一阶逻辑公式，若A中 不含自由出现的个体变项 ，则称A为封闭的公式。,3,第三章 作业,补充填空题： (1)(AB)B A 为拒取式推理定律。 (2)(AB)B A 为析取三段论推理定律。 (3)(AB)(BC) A C 为假言三段论推理定律。 (4)(AB)A B 为假言推理定律。,4,第二章 作业,补充填空题： (1)设A为含命题变项p、q、r的重言式，则公式 A(pq)r)的类型为 重言式 。 (2)设B为含命题变项p、q、r的矛盾式，则公式 B(pq)r)的类型为 矛盾式 。 (3)设p
3、,q为命题变项，则(pq)的成真赋值为 01,10 。 (4)设p,q为真命题，r,s为假命题，则复合命题(pr)(qs)的真值为 0 。 (5)矛盾式的主析取范式为 0 。 (6)设公式A含命题变项p,q,r,又已知A的主合取范式为 M0M2M3M5，_则A的主析取范式为 m1 m4 m6 m7,5,第一章作业,补充：填空题 （1）公式(pq) (pq) 的成真赋值为 01, 10 。 （2）设p,r为真命题，q,s为假命题，则复合命题 (pq) (r s)的真值为 0 。 （3）设p,q均为命题，在 p与q不能同时为真 条件下，p与q的排斥或也可以写成p与q的相容或。 （4）公式(pq)与(pq) (pq) 共同的成真赋值为 01,10 （5）设A为任意的公式，B为重言式，则AB的类型为 重言式,
