题目内容
(请给出正确答案)
[主观题]
在一阶逻辑中将下列命题符号化:(1)没有不能表示成分数的有理数(2)在北京卖菜的人不全是外地人(3)乌鸦都是黑色的(4)有的人天天锻炼身体
查看答案
如果结果不匹配,请 联系老师 获取答案
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a),(b)时命题的真值:
(1)对于任意的x均有
(2)存在x,使得x+5=9.
其中(a)个体域为自然数集合, (b)个体域为实数集合.
将下列命题符号化,并指出它们的真值.
(1)2>3当且仅当5>7.