问题标题：
离散数学CP规则证明题：有的实数是自然数,自然数都是整数,因此我们得到有的实数是整数.求列出详细的证明过程
问题描述：
离散数学CP规则证明题：有的实数是自然数,自然数都是整数,因此我们得到有的实数是整数.
求列出详细的证明过程
苏智勇回答：
现将命题符号化,个体域取为全总个体域.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(...
蔡恒进回答：
���ҵ����Ƶ����ˣ����ǻ���һ��������ǿ�������д��ĸ������˼Ŷ������P,ES,US,T,I,EG��Щ��������˼�أ��������
苏智勇回答：
������ͬ�Ľ̲��в�ͬ�ı�ʾ�����̲İɡ���������ͷ�Ĺ����Ƶġ���ɢ��ѧ��������UI----ȫ��������ȥ��������UG----ȫ�����������������EI----����������ȥ��������EG----���������������
查看更多
