片语

Deductive inference method of FOL谓词逻辑的演绎推理方法

deductive reasoning[数] 演绎推理，演绎推论；演绎法

logic deductive inference逻辑演绎推理

special symbols of deductive inference专用的推理标志

universal symbols of deductive inference通用的推理标志

modus ponens肯定前件，肯定前件式；正向思维律；假言推理

inductive and deductive inference演绎与归纳推理

non-deductive inference非演绎推理的

deductive inference reasoning演绎推理

deductive inference etc推理演绎

deductive inference rule演绎推理规则

英汉例句

• natural interpretation's inference coursing is deductive inference of syllogism.

  当然解释的推理过程为三段论式的演绎推理。

• deductive inference and non-deductive inference are often used in mathematical proof .

  演绎推理和非演绎推理经常被运用到数学证明中。

• except inductive method, non-deductive inference is like deductive inference in that the conclusion must be true if the premise is true.

  非演绎推理除归纳法之外，与演绎推理一样，只要前提都真，结论必真。

• based on deductive inference from mathematic model and practical measurement on site the method for evaluating the balance of horizontal single cylinder diesel engine is presented in this paper.

  本文论述了运用数学模型推理和依据现场实测评定卧式单缸柴油机平衡性的方法；

• hence it is no doubt his theory provides a new perspective for deductive inference of moral philosophy.

  这一探讨无疑为当代西方道德哲学研究提供了一个新的视角。

• a marked characteristic of deductive inference is that the connection in premise and conclusion is apodeictic;

  演绎推理的一个显着特征是前提与结论之间的联系是必然的。