第1题
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a)、(b)条件时命题的真值.
第2题
(1)对于任意的x均有
(2)存在x,使得x+5=9.
其中(a)个体域为自然数集合, (b)个体域为实数集合.
第4题
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a)、(b)条件时命题的真值.
(1)凡有理数都能被2整除.
(2)有的有理数能被2整除.
其中,(a)个体域为有理数集合;(b)个体域为实数集合.
第5题
(A)逻辑运算可以被认为是基于 0和1的运算,其本质是一种基于位的二进制运算;
(B)形式逻辑的命题与推理可以基于 0和1的运算来实现;
(C)硬件设计的基础理论--布尔代数,即是将逻辑与0和1的运算结合起来的一种数字电路设计理论;
(D)人的基本思维模式和计算机的 0和1运算是相通的。
(E)上述全部。
第10题
(1)朱运身体好,学习也好.
(2)如果a和b是偶数,则a+b是偶数.
(3)四边形ABCD是平行四边形,仅当其对边平行.
(4)如果鸟是会飞的,则火车是交通工具.
(5)明天小张将去演出,或者明天小李将去演出.
(6)选周玲或郑平中的一人当工会主席.
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!