题目
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a)、(b)条件时命题的真值.
(1)凡有理数都能被2整除.
(2)有的有理数能被2整除.
其中,(a)个体域为有理数集合;(b)个体域为实数集合.
第1题
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a),(b)时命题的真值:
(1)对于任意的x均有
(2)存在x,使得x+5=9.
其中(a)个体域为自然数集合, (b)个体域为实数集合.
第3题
第7题
第8题
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!