deduction inference system 推理演绎系统
inference deduction corollary 用语言形式表达出来的推理
logic inference & deduction 逻辑推演
An inference produces a derived fact using logical induction or deduction.
推理通过使用逻辑归纳或演绎产生一个派生的事实。
The mode of pragmatic inference is not a usage of single deduction or induction, but a integrated usage of various inference ways, so the research on the form of pragmatic inference is meaningful.
语用推理的模式不是单纯的演绎或归纳，而是多种推理方式的综合运用，语用推理的形式化研究是有意义的。
This section discussed the essential category of logical deduction the analysis of judgment and every aspect of inference.
逻辑推论的基本范畴，名词判断的分析，以及推理论证的各个形式都有所论述。
应用推荐