离散数学习题课2.doc

离散数学习题课2.doc

ID:56718873

大小:23.00 KB

页数:1页

时间:2020-07-06

离散数学习题课2.doc_第1页
资源描述:

《离散数学习题课2.doc》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、第二章谓词逻辑1、在一元谓词逻辑中,分别在(a)(b)(c)时将下面命题符号化并讨论命题的真值:1)凡是整数都能被2整除2)有的整数能被2整除其中(a):个体域为整数集合;(b):个体域为偶数集合;(c)个体域为实数集合2、在一元谓词逻辑中将下面命题符号化1)所有的整数,不是负整数,就是正整数,或者是02)有的实数是有理数,有的实数是无理数3)发明家都是聪明的并且勤劳的。王进是发明家。所以王进是聪明的并且是勤劳的。4)实数不都是有理数5)不存在能表示成分数的有理数6)不存在最大的自然数3、求下列公式的前束范式1)2)3)4)4、人都喜欢吃蔬菜,但不是所有的人都喜欢吃鱼。所以,存在喜欢吃蔬菜

2、而不喜欢吃鱼的人。F(x):x为人;G(x):x喜欢吃蔬菜;H(x):x喜欢吃鱼5、没有白色的乌鸦。北京鸭是白色的。因此,北京鸭不是乌鸦。F(x):x是乌鸦;H(x):x是北京鸭;G(x):x是白色的

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。