_命题逻辑.docVIP

命题逻辑 1.1第7页 1. 给出下列命题的否定命题： （1）大连的每条街道都临海。 否命题：不是大连的每条街道都临海。 （2）每一个素数都是奇数。 否命题： 并非每一个素数都是奇数。 2. 对下述命题用中文写出语句： （1） 如果非P与R，那么Q。 （2） Q并且R。 4. 给出命题，我们把、、分别称为命题的逆命题、反命题、逆反命题。 （1）如果天不下雨，我将去公园。 解：逆命题：如果我去公园，则天不下雨； 反命题：如果天下雨，则我不去公园； 逆反命题：如果我不去公园，则天下雨了。 （2）仅当你去我才逗留。 解：（此题注意：p仅当q翻译成） 逆命题：如果你去，那么我逗留。 反命题：如果我不逗留，那么你没去。 逆反命题：如果你没去，那么我不逗留。 （3）如果n是大于2的正整数，那么方程无整数解。 解：逆命题：如果方程无整数解，那么n是大于2的正整数。 反命题：如果n不是大于2的正整数，那么方程有整数解。 逆反命题：如果方程有整数解，那么n不是大于2的正整数。 7. 给P和Q指派真值T，给R和S指派真值F，求出下列命题的真值。 （1） = = = = （2） = = = = （3） = = = = （4） = = = 8． 构成下列公式的真值表： （1） P Q F F F T F T T F T F F T T T T T （2） P Q R F F F T F F F F T T F F F T F T F F F T T F T F T F F F T F T F T F T F T T F F T F T T T F T F （3） P Q R F F F T F F F F T T F F F T F F F T F T T F F T T F F F T T T F T F F T T T F T T T T T T T F F （4） P Q R F F F T T F F T F F F T F T T F T T F F T F F T T T F T F F T T F F T T T T F F 9. 使用真值表证明：如果为，那么和都是，反之亦然。 证明： P Q F F T T T F T F T F T F F F T T T T T T 由上表可知：当为时，和都是；和为时，为。故命题得证。 10. 使用真值表证明：对于和的所有值，与有同样的真值。 P Q F F T T F T T T T F F F T T T T 11. 一个有两个运算对象的逻辑运算符，如果颠倒其运算对象的次序，产生一逻辑等价命题，则称此逻辑运算符是可交换的。 （1）确定所给出的逻辑运算符哪些是可交换的：，，，。 （2）用真值表证明你的判断。 解：（1），，是可交换的。 （2）真值表如下： P Q F F F F F F T T T T F T F F T T T F F F T F F F T T F T F F T T T T T T T T T T 12.设是具有两个运算对象的逻辑运算符，如果和逻辑等价，那么运算符是可结合的。 （1）确定逻辑运算符，，，哪些是可结合的？ （2）用真值表证明你的判断。 解：（1）是可结合的。 （2）真值表如下： P Q R F F F F F F T F F T F T T T F T F F T F T F T T F T T F T F F F T T T T F T F T T F T T F F T F F T T T T T T T P Q R F F F F F T T F F T F T T T F T F F T T T F T T F T T F T F F F T T T T F T F T T F T T F F T F F T T T T T T T 13. 令表示命题“苹果是添的”，表示命题“苹果是红的”，表示命题“我买苹果”。试将下列命题符号化： （1）如果苹果甜而红，那么我买苹果。 （2）苹果不是甜的。 （3）我没买苹果，因为苹果不红也不甜。 解：（1） （2） （3） 14．解：如何我问你是你是不是总说谎的，你会说是吗？ 回答不是的都是说实话的，回答是的都是说谎的。 1.2第15页 1. 指出下面命题公式哪些是重言式、永假式或可满足式。 解： （1）重言式 （2）永假式 （3）重言式