證明的方法有哪幾種?它們各有什么特點?
正確答案:證證明的方法包括:直接證明和間接證明。間接證明中又包括反證法和排除法。直接證明的特點是:從正面人手,引出論據(jù),由論據(jù)直接推出論題。論據(jù)蘊涵論題,論據(jù)真則論題必真。間接證明的特點是:從反面或側(cè)面人手,先提出假設(shè)命題,并證明其假,再由假命題的假推出原命題的真。間接證明中的反證法,其邏輯根據(jù)是排中律。間接證明中的排除法,其邏輯根據(jù)是選言推理的否定肯定式。