词语解释

⒈  “间接证明”的对称。直接用论据断定论题为真的证明方法。