离散数学习题课2.pdfVIP

第二章 谓词逻辑 1、 在一元谓词逻辑中，分别在（a）（b）（c）时将下面命题符号化并讨论命题的真值： 1） 凡是整数都能被2整除 2） 有的整数能被2整除 其中（a）：个体域为整数集合；（b）：个体域为偶数集合；（c）个体域为实数集合 2、 在一元谓词逻辑中将下面命题符号化 1） 所有的整数，不是负整数，就是正整数，或者是0 2） 有的实数是有理数，有的实数是无理数 3） 发明家都是聪明的并且勤劳的。王进是发明家。所以王进是聪明的并且是勤劳