1、第 1 章 命题逻辑一、单项选择题 1. 下列命题公式等值的是( ) BAQPQP ),()D(),)C )(BA2. 设命题公式 G： ,则使公式 G 取真值为 1 的 P，Q，R 赋值分别是 ( )(R0,)(0,1C,0)B(,0)(3. 命题公式 为 ( )QP(A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式4 命题公式 的主析取范式是( )(A) (B) (C) (D) PQ5. 前提条件 的有效结论是( ),(A) P (B) P (C) Q (D)Q6. 设 P：我将去市里，Q ：我有时间命题“我将去市里，仅当我有时间时”符号化为( ) P)D()C()B(A
2、二、填空题1. 设命题公式 G：P (QP)，则使公式 G 为假的真值指派是 2. 设 P：我们划船， G：我们跑步，那么命题“我们不能既划船，又跑步”可符号化为3. 含有三个命题变项 P，Q， R 的命题公式 PQ 的主析取范式是 4. 若命题变元 P，Q，R 赋值为(1,0,1)，则命题公式 G的真值是 )()(RQP5. 命题公式 P PQ的类型是 6. 设 A， B 为任意命题公式，C 为重言式，若 ，那么 是 CBABA式(重言式、矛盾式或可满足式 )三、解答化简计算题1. 判别下列语句是否命题？如果是命题，指出其真值. (1) 中国是一个人口众多的国家. (2) 存在最大的质数.(
3、3) 这座楼可真高啊！ (4) 请你跟我走! (5)火星上也有人. 2.作命题公式 的真值表，并判断该公式的类型)()(PQP3. 试作以下二题：(1) 求命题公式( PQ)(PQ)的成真赋值 (2) 设命题变元 P,Q,R 的真值指派为 (0,1,1),求命题公式的真值)(4. 化简下式命题公式 )(5. 求命题公式 的主合取范式. )()(QPP6. 求命题公式 的主析取范式，并求该命题公式的成假赋值7. 求命题公式 的真值表. 四、证明题1. 证明 SRQ)()()(2. 构造推理证明： RPSP3. 证明命题公式 与 有相同的主析取范式Q参考答案一、1. C 2. D 3. B 4.
4、A 5. D 6. B二、1. 1,0；1,1 2. 或 3. (PQR)(PQR) )(P4. 0 5. 非永真式的可满足式 6. 重言 三、1. (1) 是命题，真值为 1. (2) 是命题，真值为 0. (3), (4)不是命题. (5) 是命题.1. 判别下列语句是否命题？如果是命题，指出其真值. (1) 中国是一个人口众多的国家. (2) 存在最大的质数.(3) 这座楼可真高啊！ (4) 请你跟我走! (5)火星上也有人. 2. 命题公式 的真值表)()(PQPP Q PQ )()(PQ0 0 1 0 0 00 1 1 0 0 01 0 0 0 1 11 1 1 1 1 1原式为可满
5、足式. 3. (1) (PQ)(PQ)(PQ)(PQ)(PP)QQ可见(PQ) (PQ)的成真赋值为(0,1)，(1,1) (2) RR0)1(0104. )()()P)(QP5. )()(QP)0(PQ)6. )()( 因为成真赋值是（1，0） ，故成假赋值为（0，0） ， （0，1） ， （1，1） 7. 作真值表PQPQ P Q PQ (PQ)(PQ)0 0 0 1 1 1 00 1 0 1 0 1 01 0 0 0 1 1 01 1 1 0 0 0 0四、证明题1. 证明 SPRQP)()()(Q R P R P Q T，析取三段论PQ P T，拒取式P S PS ，析取三段论 2.
6、构造推理证明： SRQSQ)()(.前提： R,(结论：证明： R 附加前提 RP 前提引入 P ，假言推理 P(QS) 前提引入 QS ,假言推理 Q 前提引入 S ,假言推理 3. 证明命题公式 与 有相同的主析取范式)()(RQP)(证明.方法 1)(P)(因为两命题公式等值，由主合取范式的惟一性，可知两命题公式的主合取范式是相同3 证明命题公式 与 有相同的主析取范式)(Q)(方法 2RQRPP)(因为它们的主合取范式相同，可知它们的主析取范式也相同第 2 章谓词逻辑一、 单项选择题1. 谓词公式 中量词x 的辖域是 ( )()()(QyRxP(A) (B) P(x) (C) (D)
7、(x )yRxQ2. 谓词公式 xA(x) xA(x)的类型是（ ）(A) 永真式 (B) 矛盾式(C) 非永真式的可满足式 (D) 不属于( A),(B),(C)任何类型3 设个体域为整数集，下列公式中其真值为 1 的是( )(A) (B) )0(yx0yx(C) (D) )(4 设 L(x)：x 是演员，J(x)：x 是老师，A(x,y)：x 佩服 y. 那么命题“所有演员都佩服某些老师”符号化为( )(A) (B) ,y ),()()(yxAJyxL(C) (D) ),()(xJxy5. 设个体域是整数集合，P 代表xy (xy)(xy0)，下面 4 个命题中为真的是( )(A) P 是
8、真命题 (B) P 是逻辑公式，但不是命题 (C) P 是假命题 (D) P 不是逻辑公式6. 表达式 中 的辖域是( )(),()(,( zQRzQxx(A) P(x,y) (B)R(x,y) (C)P(x,y)R(x,y) (D) P(x,y)Q(z)二、 填空题 1. 设个体域 D1,2,那么谓词公式 消去量词后的等值式为 .BA2. 设个体域 Da,b,公式 消去量词化为 ),()(yxHGx3. 设 N(x)：x 是自然数，Z (y)；y 是整数，则命题“每个自然数都是整数，而有些整数不是自然数”符号化为 参考答案 一、1. C；2 B；3 A；4. B ； 5. A 6. D 二、1. A(1) A(2)(B(1)B(2) 2. (G(a)(H(a,a)H(a,b) (G(b)(H(b,a)H(b,b) 3. )( xNZxxN
