资源描述：
《离散数学1-6章练习题及答案.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、离散数学练习题第一章一．填空1.公式的成真赋值为01；102.设p,r为真命题，q,s为假命题，则复合命题的真值为03.公式共同的成真赋值为01；104.设A为任意的公式，B为重言式，则的类型为重言式5．设p,q均为命题，在不能同时为真条件下，p与q的排斥也可以写成p与q的相容或。二．将下列命题符合化1.不是无理数是不对的。解：，其中p:是无理数；或p，其中p:是无理数。2.小刘既不怕吃苦，又很爱钻研。解：p:小刘怕吃苦，q：小刘很爱钻研3.只有不怕困难，才能战胜困难。解：，其中p:怕困难，q:战胜困难或，其中p:怕困难，
2、q:战胜困难4.只要别人有困难，老王就帮助别人，除非困难解决了。解：，其中p:别人有困难，q:老王帮助别人，r:困难解决了或：，其中p:别人有困难，q:老王帮助别人，r:困难解决了5.整数n是整数当且仅当n能被2整除。解：，其中p:整数n是偶数，q:整数n能被2整除三、求复合命题的真值P：2能整除5，q：旧金山是美国的首都，r：在中国一年分四季1.可编辑word,供参考版！2.解：p,q为假命题，r为真命题1.的真值为02.的真值为1四、判断推理是否正确设为实数，推理如下：若y在x=0可导，则y在x=0连续。y在x=0连续
3、，所以y在x=0可导。解：，x为实数，令p: ｙ在ｘ=0可导，q:y在x=0连续。P为假命题，q为真命题，推理符号化为：，由p，q得真值可知，推理的真值为0，所以推理不正确。五、判断公式的类型1，2.3.解：设三个公式为A,B,C则真值表如下：p,q,rABC000101001100010101011101100101101101110100111101由上表可知A为重言式，B为矛盾式，C为可满足式。可编辑word,供参考版！第二章练习题一．填空1.设A为含命题变项p,q,r的重言式，则公式的类型为重言式2.设B为含命题变
4、项p,q,r的重言式，则公式的类型为矛盾式3.设p,q为命题变项，则的成真赋值为01；104．设p,q为真命题，r,s为假命题，则复合函数的成真赋值为__0___5.矛盾式的主析取范式为___0_____6.设公式A为含命题变项p,q,r又已知A的主合取范式为则A的主合取范式为二、用等值演算法求公式的主析取范式或主合取范式1.求公式的主合取范式。解：2.求公式的主析取范式，再由主析取范式求出主合取范式。解：三、用其表达式求公式的主析取范式。解：真值表p,q,r000000110100011110011010可编辑word,
5、供参考版！11001111由上表可知成真赋值为001；011；100；111四、将公式化成与之等值且仅含中连接词的公式解：五、用主析取范式判断是否等值。解：所以他们等值。第四章习题一，填空题1.设F(x):x具有性质F，G(x):x具有性质G，命题“对所有x的而言，若x具有性质F，则x具有性质G”的符号化形式为2.设F(x):x具有性质F，G(x):x具有性质G，命题“有的x既有性质F，又有性质G”的符号化形式为3.设F(x):x具有性质F，G(y):y具有性质G，命题“对所有x都有性质F，则所有的y都有性质G”的符号化形
6、式为4.设F(x):x具有性质F，G(y):y具有性质G，命题“若存在x具有性质F，则所有的y都没有性质G”的符号化形式为5.设A为任意一阶逻辑公式，若A中__不含自由出现的个体项_____,则称A为封闭的公式。6.在一阶逻辑中将命题符号化时，若没有指明个体域，则使用全总个体域。二．在一阶逻辑中将下列命题符号化1.所有的整数，不是负整数就是正整数，或是0。解：，其中是整数，是负整数，是正整数，2.有的实数是有理数，有的实数是无理数。解：，其中，是实数，是有理数，可编辑word,供参考版！是无理数3.发明家都是聪明的并且是勤
7、劳的，王进是发明家，所以王进是聪明的并且是勤劳的。解：，其中：是发明家，是聪明的，是勤劳的，王前进4.实数不都是有理数。解：，其中是实数，是有理数5.不存在能表示成分数的有理数。解：，其中：是无理数，能表示成分数6.若x与y都是实数且x>y，则x+y>y+z解：，其中，是实数，三．给定解释I如下：（a）个体域为实数集合R；(b)特定元素；(c)特定函数(d)特定谓词给出下列公式在I的解释，并指出他们的真值：1.解：，即对任意的实数，，则；真值为12.解：，即对任意的实数若则其真值为03.解：，即对任意的实数若则其真值为14
8、.解：，即对任意的实数若则其真值为0四．给定解释I如下：可编辑word,供参考版！(a)个体域D=N;(b)特定元素(c)N上函数(d)N上谓词给出下列公式在I下的解释，并指出他们的真值：1.解：，即对任意的自然数，都有，真值为02.解：，即对任意自然数若，则；其真值为03.解：，即对任意的自然数，都存
