离散数学CP规则证明题：有的实数是自然数，自然数都是整数，因此我们得到有的实数是整数。
答案:2 悬赏:0
解决时间 2021-02-18 14:44
- 提问者网友：江鱼
- 2021-02-18 06:48
求列出详细的证明过程
最佳答案
- 二级知识专家网友：万千宠爱
- 2021-02-18 07:30
现将命题符号化，个体域取为全总个体域。
R(x)：x 为实数；N(x)：x 是自然数，Z(x)：x 是整数。
前提：Ex(R(x)∧N(x))，Ax(N(x)→Z(x))。
结论：Ex(R(x)∧Z(x))。
证明：
① Ex(R(x)∧N(x)) ******
② R(a)∧N(a) ******
③ N(a)
④ Ax(N(x)→Z(x))
⑤ N(a)→Z(a)
⑥ Z(a)
⑦ R(a)
⑧ R(a)∧Z(a)
⑨ Ex(R(x)∧Z(x))
得证。
注：每一句后面的理由交给你了。
R(x)：x 为实数；N(x)：x 是自然数，Z(x)：x 是整数。
前提：Ex(R(x)∧N(x))，Ax(N(x)→Z(x))。
结论：Ex(R(x)∧Z(x))。
证明：
① Ex(R(x)∧N(x)) ******
② R(a)∧N(a) ******
③ N(a)
④ Ax(N(x)→Z(x))
⑤ N(a)→Z(a)
⑥ Z(a)
⑦ R(a)
⑧ R(a)∧Z(a)
⑨ Ex(R(x)∧Z(x))
得证。
注：每一句后面的理由交给你了。
全部回答
- 1楼网友：情窦初殇
- 2021-02-18 09:06
你说呢...
我要举报
如以上问答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯