数理逻辑习题离散数学.docVIP

第1章 命题逻辑 一、单项选择题 1. 下列命题公式等值 2. 设命题公式G：,则使公式G取真值为1的P，Q，R赋值分别是 ( ) 3. 命题公式为 ( ) (A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式 4 命题公式的主析取范式是( )． (A) (B) (C) (D) 5. 前提条件的有效结论是( )． (A) P (B) (P (C) Q (D)(Q 6. 设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间时”符号化为( ) 二、填空题 1. 设命题公式G：P((Q(P)，则使公式G为假的真值指派是 2. 设P：我们划船，G：我们跑步，那么命题“我们不能既划船，又跑步”可符号化为 3. 含有三个命题变项P，Q，R的命题公式P(Q的主析取范式是 4. 若命题变元P，Q，R赋值为(1,0,1)，则命题公式G＝的真值是 5. 命题公式P((P(Q(的类型是 ． 6. 设A，B为任意命题公式，C为重言式，若，那么是 式(重言式、矛盾式或可满足式) 三、解答化简计算题 1. 判别下列语句是否命题？如果是命题，指出其真值. (1) 中国是一个人口众多的国家. (2) 存在最大的质数. (3) 这座楼可真高啊！ (4) 请你跟我走! (5) 火星上也有人. 2.作命题公式的真值表，并判断该公式的类型． 3. 试作以下二题：(1) 求命题公式(P((Q)((P(Q)的成真赋值． (2) 设命题变元P,Q,R的真值指派为(0,1,1),求命题公式 的真值． 4. 化简下式命题公式 5. 求命题公式的主合取范式. 6. 求命题公式的主析取范式，并求该命题公式的成假赋值． 7. 求命题公式的真值表. 四、证明题 1. 证明 2. 构造推理证明： 3. 证明命题公式与有相同的主析取范式． 参考答案 一、1. C 2. D 3. B 4. A 5. D 6. B 二、1. 1,0；1,1 2. 或 3. (P(Q(R)((P(Q((R) 4. 0 5. 非永真式的可满足式 6. 重言 三、1. (1) 是命题，真值为1. (2) 是命题，真值为0. (3), (4)不是命题. (5) 是命题. 1. 判别下列语句是否命题？如果是命题，指出其真值. (1) 中国是一个人口众多的国家. (2) 存在最大的质数. (3) 这座楼可真高啊！ (4) 请你跟我走! (5) 火星上也有人. 2. 命题公式的真值表 P Q P(Q 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 原式为可满足式. 3. (1) (P((Q)((P(Q)(((P(Q)((P(Q)(((P(P)(Q(Q 可见(P((Q)((P(Q)的成真赋值为(0,1)，(1,1)． (2) 　　　 4. 5. 　　　 　 6. 因为成真赋值是（1，0），故成假赋值为（0，0），（0，1），（1，1） 7. 作真值表 P Q P(Q (P (Q (P((Q (P(Q)(((P((Q) 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 四、证明题