直接证明也称为逻辑演绎，是指从公认的事实或者公理出发，运用逻辑推演而导出需要证明的命题的真伪的方法。直接证明法一般使用谓词逻辑，运用存在量词或全称量词。主要的证明方式有肯定前件论式、否定后件论式、假言三段论式以及选言三段论式等等。

直接证明的拼音