作业帮 > 综合 > 作业

1、将下列命题符号化并推证其结论.

来源:学生作业帮 编辑:百度作业网作业帮 分类:综合作业 时间:2024/05/11 22:12:01
1、将下列命题符号化并推证其结论.
(1)所有的有理数是实数,某些有理数是整数,因此,某些实数是整数.
(2)任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或者喜欢乘汽车或者喜欢骑自行车,有的人不爱骑自行车,因而有的人不爱步行.
(3)每个科学工作者都是刻苦钻研的,每个刻苦钻研而且聪明的科学工作者在他的事业中都将获得成功.华为是科学工作者并且他是聪明的,所以,华为在他的事业中将获得成功.
(4)每位资深名士或是中科院院士或是国务院参事,所有的资深名士都是政协委员.张伟是资深名士,但他不是中科院院士.因此,有的政协委员是国务院参事.
(5)每一个自然数不是奇数就是偶数,自然数是偶数当且仅当它能被2整除.并不是所有的自然数都能被2所整除.因此,有的自然数是奇数.
(6)如果一个人怕困难,那么他就不会获得成功.每个人或者获得成功或者失败过.有些人未曾失败过,所以有些人不怕困难.
1、将下列命题符号化并推证其结论.
设①代表任意的那个符号,②代表存在的那个符号 !代表非那个符号.
(1):Q:x是有理数;R:x是实数 I:x是整数
①Q->R; ②Q且I ;==> ②Q且I
(2):A:喜欢步行 B:喜欢乘汽车 C:喜欢骑自行车
①A-> !B ; ①B异或C; ②!C;==> ②!A
(3):A:科学工作者 B:刻苦钻研 C:聪明 D在事业中获得成功
①A->B;①A且B且C -> D; A(a)且C(a); ==》D(a)