内容发布更新时间 : 2024/12/23 9:28:16星期一 下面是文章的全部内容请认真阅读。
离散数学练习题
第一章
一．填空
1.公式(p??q)?(?p?q)的成真赋值为 01；10 2.设p, r为真命题，q, s 为假命题，则复合命题(p?q)?(?r?s)的真值为 0 3.公式?(p?q)与(p??q)?(p?q)共同的成真赋值为 01；10
4.设A为任意的公式，B为重言式，则A?B的类型为 重言式
5．设p, q均为命题，在 不能同时为真 条件下，p与q的排斥也可以写成p与q的相容或。
二．将下列命题符合化 1.
7不是无理数是不对的。
7是无理数； 或p，其中p:
7是无理数。
解：?(?p)，其中p:
2.小刘既不怕吃苦，又很爱钻研。
解：?p?q,其中p: 小刘怕吃苦，q：小刘很爱钻研
3.只有不怕困难，才能战胜困难。
解：q??p，其中p: 怕困难，q: 战胜困难
或p??q，其中p: 怕困难， q: 战胜困难
4.只要别人有困难，老王就帮助别人，除非困难解决了。
解：?r?(p?q)，其中p: 别人有困难，q:老王帮助别人 ，r: 困难解决了 或：(?r?p)?q，其中p:别人有困难，q: 老王帮助别人，r: 困难解决了
5.整数n是整数当且仅当n能被2整除。
解：p?q，其中p: 整数n是偶数，q: 整数n能被2整除
三、求复合命题的真值
P：2能整除5， q：旧金山是美国的首都， r：在中国一年分四季 1. ((p?q)?r)?(r?(p?q))
2.((?q?p)?(r?p))?((?p??q)?r 解：p, q 为假命题，r为真命题
- 1 -
1.((p?q)?r)?(r?(p?q))的真值为0
2. ((?q?p)?(r?p))?((?p??q)?r的真值为1
四、判断推理是否正确 设y?2x为实数，推理如下：
若y在x=0可导，则y在x=0连续。y 在x=0连续，所以y在x=0可导。
解：y?2x，x为实数，令p: ｙ在ｘ=0可导，q: y在x=0连续。P为假命题，q为真命题，推理符号化为：(p?q)?q?p，由p，q得真值可知，推理的真值为0，所以推理不正确。
五、判断公式的类型
1，(?(q?p)?((p?q)?(?p?q)))?r 2. (p??(q?p))?(r?q) 3. (p??r)?(q?r)
解：设三个公式为A,B,C则真值表如下： p, q ,r 000 001 010 011 100 101 110 111 A 1 1 1 1 1 1 1 1 B 0 0 0 0 0 0 0 0 C 1 0 1 1 1 1 0 1 由上表可知A为重言式，B为矛盾式，C为可满足式。
- 2 -
第二章练习题
一．填空
1.设A为含命题变项p, q, r的重言式，则公式A?((p?q)?)的类型为 重言式 2.设B为含命题变项p, q, r的重言式，则公式B?((p?q)?)的类型为矛盾式 3.设p, q为命题变项，则(?p?q)的成真赋值为 01 ；10 4．设p,q 为真命题，r, s为假命题，则复合函数(p?r)?(?q?s)的成真赋值为__0___ 5.矛盾式的主析取范式为___0_____ 6.设公式A为含命题变项p, q, r又已知A的主合取范式为的主合取范式为
M?M?M?M0235则A
m?m?m?m
1467二、用等值演算法求公式的主析取范式或主合取范式 1.求公式?(?(p?q))?(?q??p)的主合取范式。
解：
?(?(p?q))?(?q??p)?(p?q)?(p?q)?p?q??p?q?M2
2.求公式((p?q)?(p?q))?(q?p)的主析取范式，再由主析取范式求出主合取范式。 解：
((p?q)?(p?q))?(q?p)?((p?q)?(?p?q))?(q?p)?q?(q?p)?(q?(q?p))?((q?p)?q)?(p??q)?q ?(p?q)?0?m3?M0?M1?M2三、用其表达式求公式(p?q)?r的主析取范式。 解：真值表
p,q,r 000 001 010 011 100 101 110 111
(p?q)?r 0 1 0 1 1 0 0 1 - 3 -
由上 001；011；100；111
四、将公式p?(q?r)化成与之等值且仅含??,??中连接词的公式 解：p?(q?r)?p?(?q?r)??p?(?q?r)??(p?q??r) 五、用主析取范式判断?(p?q)与(p?q)?(?(p?q))是否等值。 解：
?(p?q)??((p?q)?(q?p))??((?p?q)?(?q?p))??(?p?q)??(?q?p)?(p??q)?(q??p)?(p?(q??p))?(?q?(q??p))?(p?q)?(?(q?p))所以他们等值。
第四章 习题 一，填空题
1.设F(x): x具有性质F，G(x): x具有性质G，命题“对所有x的而言，若x具有性质F，则x具有性质G”的符号化形式为 ?x(F(x)?G(x)
2.设F(x): x具有性质F，G(x): x具有性质G，命题“有的x既有性质F，又有性质G”的符号化形式为 ?x(F(x)?G(x)
3. 设F(x): x具有性质F，G(y): y具有性质G，命题“对所有x都有性质F，则所有的y都有性质G”的符号化形式为 ?xF(x)??yG(y)
4. 设F(x): x具有性质F，G(y): y具有性质G，命题“若存在x具有性质F，则所有的y都没有性质G”的符号化形式为 ?xF(x)??y?G(y)
5.设A为任意一阶逻辑公式，若A中__不含自由出现的个体项_____,则称A为封闭的公式。 6.在一阶逻辑中将命题符号化时，若没有指明个体域，则使用 全总 个体域。 二．在一阶逻辑中将下列命题符号化
1.所有的整数，不是负整数就是正整数，或是0。
?xF(x)?(G(x)?H(x)?R(x))，G(x):x是负整数，H(x):x解：其中F(x):x是整数，
是正整数，R(x):x?0
2.有的实数是有理数，有的实数是无理数。
解：?x(F(x)?G(x))??y(F(y)?H(y))，其中，F(x):x是实数，G(x):x是有理数，
H(y):y是无理数
- 4 -
3.发明家都是聪明的并且是勤劳的，王进是发明家，所以王进是聪明的并且是勤劳的。 解：(?x(F(x)?(G(x)?H(x)))?F(a))?(G(a)?H(a))，其中：F(x):x是发明家，
G(x):x是聪明的，H(x):x是勤劳的，a:王前进
4.实数不都是有理数。
解：??x(F(x)?G(x))，其中F(x):x是实数，G(x):x是有理数 5.不存在能表示成分数的有理数。
解：?xF(x)??G(x)，其中：F(x):x是无理数，G(x):x能表示成分数 6.若x与y都是实数且x>y，则x+y>y+z
解：?x?y((F(x)?F(y)?H(x,y)?H(x?z,y?z))，其中，F(x):x是实数，
H(x,y):x?y
三．给定解释I如下：
（a）个体域为实数集合R； (b)特定元素a?0； (c)特定函数f(x,y)?x?y,(d)特定谓词F(x,y):x?y,x?R,y?R
x?R,y?R
G(x,y):x?y,给出下列公式在I的解释，并指出他们的真值： 1.?x?y(G(x,y)??F(x,y))
解：?x?y((x?y)?(x?y))，即对任意的实数，x,y，则x?y；真值为1 2.?x?y(F(f(x,y),a)?G(x,y))
解：?x?y(x?y?0?(x?y))，即对任意的实数x,y若x?y?0,则x?y,其真值为0 3.?x?y(G(x,y)??F(f(x,y),a))
解：?x?y((x?y)?(x?y?0))，即对任意的实数x,y若x?y,则x?y?0,其真值为1
4.?x?y(Gf(x,y),a)?F(x,y))
解：?x?y((x?y?0)?x?y))，即对任意的实数x,y若x?y?0,则x?y,其真值为0 四．给定解释I如下：
- 5 -