推论通过演绎得出；推论，推断。
其主要内容由序和七章构成，序是全书的归纳与总结，主要包含正反两个基本命题，而后面的七章则是对序的演绎与推论。
The preface is a summary of the whole book in which two opposite propositions are put forward and the following chapters is the development and deduction of the preface.
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
应用推荐