意思：

“間接證明”的對稱。直接用論據(jù)斷定論題為真的證明方法。