题目

1、将下列命题符号化并推证其结论.
（1）所有的有理数是实数,某些有理数是整数,因此,某些实数是整数.
（2）任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或者喜欢乘汽车或者喜欢骑自行车,有的人不爱骑自行车,因而有的人不爱步行.
（3）每个科学工作者都是刻苦钻研的,每个刻苦钻研而且聪明的科学工作者在他的事业中都将获得成功.华为是科学工作者并且他是聪明的,所以,华为在他的事业中将获得成功.
（4）每位资深名士或是中科院院士或是国务院参事,所有的资深名士都是政协委员.张伟是资深名士,但他不是中科院院士.因此,有的政协委员是国务院参事.
（5）每一个自然数不是奇数就是偶数,自然数是偶数当且仅当它能被2整除.并不是所有的自然数都能被2所整除.因此,有的自然数是奇数.
（6）如果一个人怕困难,那么他就不会获得成功.每个人或者获得成功或者失败过.有些人未曾失败过,所以有些人不怕困难.

提问时间：2020-11-01

答案

设①代表任意的那个符号,②代表存在的那个符号 !代表非那个符号.（1）：Q:x是有理数；R:x是实数 I:x是整数①Q->R; ②Q且I ；==> ②Q且I（2）：A：喜欢步行 B：喜欢乘汽车 C：喜欢骑自行车①A-> !B ； ①B异或C； ②!...