资源预览内容
亲,该文档总共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、 人都喜欢吃蔬菜,但不是所有的人都喜欢吃鱼。所以,存在喜欢吃蔬菜而不喜欢吃鱼的人。F(x):x为人;G(x):x喜欢吃蔬菜;H(x):x喜欢吃鱼5、 没有白色的乌鸦。北京鸭是白色的。因此,北京鸭不是乌鸦。F(x):x是乌鸦;H(x):x是北京鸭;G(x):x是白色的
网站客服QQ:2055934822
金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号