推理证明： 任何自然数都是整数 存在自然数 所以存在整数
2个回答
展开全部
你这应该是逻辑学的问题吧，数学里一般是不会讨论这种问题的。如果是这样，就要先定义符号来表示命题：
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）；
证毕。
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）；
证毕。
本回答被提问者采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
