欢迎来到天天文库
浏览记录
ID:56718873
大小:23.00 KB
页数:1页
时间:2020-07-06
《离散数学习题课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是白色的
此文档下载收益归作者所有