首页
›
答案
›
题库
›
远程教育
›
国家开放大学
由确定与原论题相矛盾的论题假,根据排中律,导出原论题真的间接证明方式,叫反证法。
由确定与原论题相矛盾的论题假,根据排中律,导出原论题真的间接证明方式,叫反证法。
A.正确
B.错误
正确答案:A
标签:
论题
排中律
反证法
上一条:
排中律的内容是在同一思维过程中,矛盾思想不能同假,必有一真。
下一条:
一个命题形式,如果在至多一种解释下能得到真命题,则称为可满足式。