![](https://static.youtibao.com/asksite/comm/h5/images/m_q_title.png)
[主观题]
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a)、(b)条件时命题的真值. (1)凡有理数都能被2整除.
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a)、(b)条件时命题的真值.
(1)凡有理数都能被2整除.
(2)有的有理数能被2整除.
其中,(a)个体域为有理数集合;(b)个体域为实数集合.
查看答案
![](https://static.youtibao.com/asksite/comm/h5/images/solist_ts.png)
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a)、(b)条件时命题的真值.
(1)凡有理数都能被2整除.
(2)有的有理数能被2整除.
其中,(a)个体域为有理数集合;(b)个体域为实数集合.
符号化下列各命题,并给出构造推理证明,
①每一个自然数不是奇数就是偶数,自然数是偶数当且仅当它能被2整除.并不是所有自然数都能被2整除.因此,有的自然数是奇数.
②如果一个人怕困难,那么他就不会获得成功.每个人或者获得成功或者失败过.有些人未曾失败过,所以有些人不怕困难.
③每个科学工作者都是刻苦钻研的.每个刻苦钻研而又聪明的科学工作者在他的事业中都将获得成功.华有为是科学工作者并且是聪明的,所以华有为在他的事业中将获得成功.
④每位资深名士或是中科院院士或是国务院参事.所有的资深名士都是政协委员.张大为是资深名士,但不是中科院院士.因此有的政协委员是国务院参事.