直接证明解释说明

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