Deductive inference and non - deductive inference are often used in mathematical proof.
演绎推理和非演绎推理经常被运用到数学证明中。
This book is devoted to the construction of a deductive theory of the electron, starting from first principles and using a simple mathematical tool, geometric analysis.
这本书献身于一个电子的演绎的理论的建设，从第一个原则开始并且使用一件简单的数学工具，几何学分析。
The educational circle of our country is usually considered as "mathematical inference" which refers to the highly formalized and abstract deductive inference.
我国教育界常常认为“数学推理”主要是指高度形式化的、抽象化的演绎推理。
应用推荐