题目

离散数学CP规则证明题：有的实数是自然数,自然数都是整数,因此我们得到有的实数是整数.
求列出详细的证明过程

提问时间：2020-10-15

答案

现将命题符号化,个体域取为全总个体域.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)) ③ N(a)④ Ax(N(x)→Z(x))⑤ N(a)→Z(...