deductive inference [计] 演绎推理 ; 演绎法 ; 演绎推论

non-deductive inference 非演绎推理的

deductive inference rule 演绎推理规则

logic deductive inference 逻辑演绎推理

deductive inference reasoning 演绎推理

control of deductive inference 演绎推理控制

inductive and deductive inference 演绎与归纳推理

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

common symbols of deductive inference 共用的推理标志