Based on deduction; reasoning from general principles to specifics.

• Using general rules to infer particular conclusions.

演绎的；由一般原理推到个别结论。

• 用普遍规律推断具体结论。

Relating to formal logic where conclusions follow with necessity.

• Employing valid inference rules to derive theorems or results.

与形式逻辑有关，结论必然由前提推出。

• 运用有效推理规则导出定理或结果。