- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
                        查看更多
                        
                    
                《离散数学》习题选解【荐】.doc
                                             《离散数学》习题选解
习题一
1.命题有:(1)、(2)、(3)、(6)、(7)、(10)、(11)、(12)、(13).
简单命题有:(1)、(2)、(7)、(10)、(13).
真命题有:(1)、(2)、(3)、(10)、(11). 
真值待定的命题有:(7)、(13)
3.(2)解:令:是无理数,则原命题可符号化为,其否式为是无理数,其符号化为,的真值为0.
(4)解:令:是整数,其否式为不是整数,其可符号化,的真值为0.
4.(3)解:令:2是最小的素数, :2是最小的自然数,则此命题可符号化为,
   其值为1. 
(5)解:令:4是素数, :4是偶数,则此命题可符号化为,其值为0.
5.解:(4)令:3是偶数, :4是偶数,则此命题可符号化为,其值为1.
     (5)令:3是素数, :4是偶数,则此命题可符号化为,其值为0.
6.解:(2)令:刘晓月只选学英语,:刘晓月只选学日语,则此命题可符号化为 或.
7.解:因为与不能同时为真.
8.解:(5) 令:, :,则此命题可符号化为,其值为0.
(6)令:, :,则此命题可符号化为,其值为1.
11.解:(1)令:, :地球是动的,则此命题可符号化为,其值为0.
(4) 令:地球上有水, :是无理数,则此命题可符号化为,其值为1.
12.解:(2)令:, :,则此命题可符号化为,其值为0.
  (4)令:, :,则此命题可符号化为,其值为1.
13.解:(3)令:今天是星期一, :明天是星期二,则此命题可符号化为,其值为1.(4)令:今天是星期一, :明天是星期三,则此命题可符号化为,其值为0.
14.解:(7)令:他吃饭, :他听音乐,则此命题可符号化为.
(9)令:他乘班车上班, :天下大雨,则此命题可符号化为.
(11)令:下雪, :路滑,:他迟到了,则此命题可符号化为.
(12)令:2是素数, :4是素数,则此命题可符号化为.
(13)令:2是素数, :4是素数,则此命题可符号化为.
15.解:的真值分别为1,1,0,于是有:
(1),
(2),
(3)
(4)
,
16.解:因为,,,,所以
(1),
(2),
(3),
(4),
17.解:令:是无理数,:3是无理数,:是无理数,:6能被2整除,
  	:6能被4整除,的值分别为1,0,1,1,0,则此题可符号化为
,其值为,因此此论述为真.
18.解:令:小王会唱歌,:小李会跳舞,则此题可符号化为
    由题设条件知,
又
,所以的值分别为1,0,即当小王会唱歌而小李不会跳舞时,就满足题目的要求.
19.解:(5)因为原式共有3个不同的变元,故其真值表为:
       
					()()		0  0  0	1	1	0	    1	         0		0  0  1	  1	  1	  0	    1	         0		0  1  0	  1	  0	  0 	    0	         1		1  0  0	  0	  1	  0	    0	         1		1  0  1	  0	  1	  1	    0	         0		0  1  1	  1	  0	  0	    0	         1		1  1  0	  0	  0	  0	    0	         1		1  1  1	  0	  0	  1	    0	          0		所以此式为非重言式的可满足式.
(6)因为原式共有3个不同的变元,故其真值表为:
				(()())()		0  0  0	1	1	1	1		0  0  1	1	1	1	1		0  1  0	1	0	1	1		1  0  0	0	1	0	1		0  1  1	1	1	1	1		1  0  1	0	1	1	1		1  1  0	1	0	0	1		1  1  1	1 	1	1	1		 所以此式为重言式.
(7)因为原式共有4个不同的变元,故其真值表为:
			()()		0  0  0  0	1	1	1		0  0  0  1	1	0	0		0  0  1  0	1	0	0		0  0  1  1	1	1	1		0  1  0  0	1	1	1		0  1  0  1	1	0	0		0  1  1  0	1	0	0		0  1  1  1	1	1	1		1  0  0  0	0	1	0		1  0  0  1	0	0	1		1  0  1  0	0	0	1		1  0  1  1	0	1	0		1  1  0  0	1	1	1		1  1  0  1	1	0	0		1  1  1  0	1	0	0		1  1  1  1	1	1	1		 所以此式为非重言式的可满足式.
2
                 原创力文档
原创力文档 
                        

文档评论(0)