辞海

释义：zhí jiē zhèng míng
“间接证明”的对称。直接用论据断定论题为真的证明方法。