题目内容
(请给出正确答案)
[主观题]
在一阶逻辑中将下列命题符号化。(1)所有的整数,不是负整数,就是正整数,或者是0。(2)有的实数是有理数,有的实数是无理数。(3)发明家都是聪明的并且是勤劳的。王前进是发明家。所以,王前进是聪明的并且是勤劳的。
答案
查看答案
第2题
在一阶逻辑中将下列命题符号化,并指出各命题的真值,个体域分别为:(a)自然数集合N(N中含0);(b)整数集合Z;(c)实数集合R.
第3题
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a)、(b)条件时命题的真值.
(1)凡有理数都能被2整除.
(2)有的有理数能被2整除.
其中,(a)个体域为有理数集合;(b)个体域为实数集合.
第10题