The educational circle of our country is usually considered as "mathematicalinference" which refers to the highly formalized and abstract deductive inference.
我国教育界常常认为“数学推理”主要是指高度形式化的、抽象化的演绎推理。
2
Derivations: Derivations describe how information in one form may be transformed into information in another form through an inference or mathematical calculation.
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.