Deductive inference and non - deductive inference are often used in mathematical proof.
演绎推理和非演绎推理经常被运用到数学证明中。
2
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.
这本书献身于一个电子的演绎的理论的建设，从第一个原则开始并且使用一件简单的数学工具，几何学分析。
3
The educational circle of our country is usually considered as "mathematical inference" which refers to the highly formalized and abstract deductive inference.