修-习题(第章命题逻辑)080913.pptVIP

第一章 命题逻辑（Propositional Logic） 1.是无理数。 2. 5能被2整除。 3. 现在开会吗？ 4. x+50。5. 这朵花真好看呀！ 6. 2是素数当且仅当三角形有3条边。 7. 雪是黑色的当且仅当太阳从东方升起。 8. 2008年十月一日天气晴好 。 9. 太阳系以外的星球上有生物。 10. 小李在宿舍里。 11. 全体起立！ 12. 4是2的倍数或是3的倍数。 13. 4是偶数且是奇数。 14. 李明与王华是同学。 15. 蓝色和黄色可以调配成绿色。 16. 中国有四大发明。 17. 吸烟请到吸烟室去！ 18. 圆的面积等于半径的平方乘。 19. 只有6是偶数，3才能是2的倍数。 二、将下列命题符号化，并指出真值。 （1）如果今天是1号, 则明天是2号。 （2）如果今天是1号, 则明天是3号。 （3）2与5都是素数。（同第4题） （4）不但是无理数，而且自然对数的底e也是无理数。 （5）虽然2是最小的素数，但2不是最小的自然数。 （6）4既不是素数，也不是偶数。 （7）小丽只能从筐里拿一个苹果或一个梨。 （8）这学期刘晓月只能选英语或日语中的一门外语课。（同7） （9）他一边吃饭，一边看电视。（类似4） （10）除非天下大雨，否则他不乘公共汽车上班。 （11）只有6是偶数（P），3才能是2的倍数（Q）。（12）只要21（P），就有32（Q）。 （13）如果21，则3≥2。 （14）只有21，才有3≥2。 （15）除非21，才有3≥2。 （16）除非21，否则32 。 （17）21仅当32 。 三、设P：俄罗斯位于南半球，Q：亚洲人口最多。将下面命题用 自然语言表述，并指出真值。 （1） Q→P ，如果亚洲人口最多，则俄罗斯位于南半球。F （2） ? P→Q，如果俄罗斯不位于南半球，则亚洲人口最多。T （3） P→ ? Q，如果俄罗斯位于南半球，则亚洲人口不最多。F （4）?P→?Q，如果俄罗斯不位于南半球，则亚洲人口不最多。F四、设p,q的真值为0，r,s的真值为1，求下列各命题公式的真值。 1 p∨q∧r ?0∨0∧1 ?0; 2 p ?r∧┐q∨s ?0 ?1∧1∨1 ?0; 3 p∧q∨r→p∨q∧r∧s0∧0∨1→0∨0∧1∧1 ?1。 五、判断下命题公式的类型，方法不限。 1 p →（p∨q∨r ? ┐p∨p∨q∨r ?1永真）; 2 p→┐p →┐p?┐p∨┐p →┐p?p∨┐p?1永真）; 3 ┐p→q∧q ?┐┐p∨q∧q ?p∧ ┐q∧q ?0 永假）; 4 p→q→（┐q→ ┐p ? ┐p∨q→q∨┐pp∧ ┐q∨q∨┐p ? p∨q∨┐p∧┐q∨q∨┐p ?1六、已知真值函数F，G，H，R的真值表如下所示，分别给出用下列联结词集合中的联结词表示的与F，G，H，R等值的一个命题公式。真值表 七、设A，B，C为任意的命题公式。（1）已知A?C?B?C，问A?B吗？（2）已知A?C?B?C，问A?B吗？（3）已知┐A?┐B，问A?B吗？ 解： （1）不一定。当A?P，B?Q，C?P?Q时， A?C ? B?C，但A?B不成立。 （2）不一定。当A?P?Q，B?P，C?P时， A?C?B?C ，但A?B不成立。 （3）A?B成立。 因为┐A?┐B，所以┐┐A? ┐┐B，即 A?B成立。 八、求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 （1） P ?Q ∧R）? P∧Q∧R 。 八、求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 （2） ┐ P ? Q∧Q∧R 。 九、设P：王冬生于1971年，Q：王冬生于1972年，说明命题“王冬生于1971年或1972年”既可以符号化为“（P∧?Q）∨（? P∧Q）”，又可以符号化为 “P∨Q” 的理由。 十、判断下面论述是否为真：” 是无理数（P）。并且如果3是无理数（Q），则 也是无理数（R）。另外，只有6能被2整除（S），6才能被4整除（W）。 ” 解：命题符号化为十一、在什么情况下，下面一段论述是真的：“说小王不会唱歌或小李不会跳舞是正确的，而说如果小王会唱歌，小李就会跳舞是不正确的”。解：命题符号化为 （┐ P? ┐Q），┐（P?Q）同时为真十三、用真值表判断下列公式的类型。 （1）P? P ?Q ? R 。 （2） P ? ┐ P ? ┐ Q 。真值表 （3 ） ┐ Q ? R ∧ R。真值表 （4） P ? Q ? ┐Q ? ┐P 。真值表 （5） P ∧R ? ┐ P∧ ┐ Q （6）（ P ? Q）∧（ Q? R） ?P ? R 十四、求下列公式的成真赋值。