作业帮 > 数学 > 作业

能用逻辑学分析下,为什么反证法一定能成立?

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/09 14:06:22
能用逻辑学分析下,为什么反证法一定能成立?
怎么证明它一定成立?
谁说反证法一定成立了?反证法只在形式逻辑中成立,脱离了他的逻辑前提就肯定是要出错的.
排中律:
同一思维过程中,在同一时间、同一意义上,对同一问题做的两个互相矛盾的判断中,必有一真,且只有一真,非此即彼.
反正法是对排中律的应用,而排中律是逻辑学里的基本规律,是不需要,也不能够进行逻辑证明的,他是自明的.