Question

离散数学CP规则证明题：有的实数是自然数，自然数都是整数，因此我们得到有的实数是整数。

求列出详细的证明过程

Answer 1

现将命题符号化，个体域取为全总个体域。
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))
得证。

注：每一句后面的理由交给你了。

追问

我找到类似的题了，可是还有一个问题就是看不懂大写字母代表的意思哦！比如P,ES,US,T,I,EG这些是神马意思呢！求大神解答啊

追答

　　不同的教材有不同的表示，看教材吧。比如我手头的耿素云的《离散数学》：
　　UI----全称量词消去规则
　　UG----全称量词引入规则
　　EI----存在量词消去规则
　　EG----存在量词引入规则