Question

一道离散数学题，求指点~

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

Answer 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）

Answer 2

就回答问题1，别的等其他人来，够打字了。