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

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/27 16:45:53
反证法与直觉主义直觉主义认为反证法不能用,因为有不可证明的命题存在.那么这种说法是否对:假设命题反面成立,如果能推出矛盾,则反证法成立.不能,则反证法不能成立,并说明这命题为不
xJ0/T E E/`7vlͮ"[AKҿo˔?!yoGmAodT/ּj1ŪU7 "AaY WU͘A3ᥧ>rK ,~ y1Uzw!Xx}rm@w 6AJ2 H4ΞK?A- AAftso㟁&Դ- /5/3k7=`ً˵#Wx!-70

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

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

我逻辑学没学好...