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

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

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

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

我逻辑学没学好...