反证法与直觉主义直觉主义认为反证法不能用,因为有不可证明的命题存在.那么这种说法是否对:假设命题反面成立,如果能推出矛盾,则反证法成立.不能,则反证法不能成立,并说明这命题为不

来源:学生作业帮助网 编辑:六六作业网 时间:2024/05/16 00:52:44
反证法与直觉主义直觉主义认为反证法不能用,因为有不可证明的命题存在.那么这种说法是否对:假设命题反面成立,如果能推出矛盾,则反证法成立.不能,则反证法不能成立,并说明这命题为不反证法与直觉主义直觉主义

反证法与直觉主义直觉主义认为反证法不能用,因为有不可证明的命题存在.那么这种说法是否对:假设命题反面成立,如果能推出矛盾,则反证法成立.不能,则反证法不能成立,并说明这命题为不
反证法与直觉主义
直觉主义认为反证法不能用,因为有不可证明的命题存在.那么这种说法是否对:假设命题反面成立,如果能推出矛盾,则反证法成立.不能,则反证法不能成立,并说明这命题为不可证.

反证法与直觉主义直觉主义认为反证法不能用,因为有不可证明的命题存在.那么这种说法是否对:假设命题反面成立,如果能推出矛盾,则反证法成立.不能,则反证法不能成立,并说明这命题为不
是的

我逻辑学没学好...