直接证明也称为逻辑演绎，是指从公认的事实或者公理出发，运用逻辑推演而导出需要证明的命题的真伪的方法。直接证明法一般使用谓词逻辑，运用存在量词或全称量词。主要的证明方式有肯定前件论式、否定后件论式、假言三段论式以及选言三段论式等等。
直接证明
双语例句原声例句
-
本文给出了该定理的一个直接证明。
-
直接证明粘结的机理是十分困难的。
-
直接证明粘结的机理是十分困难的。
Direct proof of the mechanis. of adhesion is. quite elusive.
-
That for an ideal gas it has to be the case that there's no volume dependence of the energy.
我们可以直接推导这个结果,即证明对理想气体，内能和气体体积无关。
应用推荐
$firstVoiceSent
- 来自原声例句