论文部分内容阅读
本文重点阐明反证法的概念,逻辑依据“矛盾律”和“排中律”,反证法的种类包括归谬法简单归谬法和穷举归谬法,反证法证明的一般步骤(反设、归谬 、结论),证题的实践告诉我们:下面几种命题一般用反证法来证比较方便,否定性命题、限定式命题、无穷性命题、逆命题、某些存在性命题、全称肯定性命题、一些不等量命题的证明、基本命题。