作业帮 > 数学 > 作业

推理证明:任何自然数都是整数 存在自然数 所以存在整数(实数集合为R)

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/15 03:03:55
推理证明:任何自然数都是整数 存在自然数 所以存在整数(实数集合为R)
你这应该是逻辑学的问题吧,数学里一般是不会讨论这种问题的.如果是这样,就要先定义符号来表示命题:
  N(x):x是自然数;
  Z(x):x是整数;
证明:
   前提1:(任意x)(N(x)→Z(x));
   前提2:(存在x)(N(x));
 根据存在量词指定规则,和前提2,可推出:
   N(c);——c是某个特定的自然数; ①
 根据全称量词推广规则,和前提1,可推出:
   N(c)→Z(c);  ②
 利用①、②可直接推出:
   Z(c); ③
 根据存在量词推广规则,和③,可推出:
   (存在x)Z(x);
证毕.