... 是狹義的歸謬法,兩者的差別在於反證法只限於推理出邏輯上矛盾的結果。 ... 方法稱為逆否命題法(proof by contrapositive),也就是證明 P\to Q ...
確定! 回上一頁