与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。

At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.

youdao

数学命题的证明步骤是由已知条件逐步推演形成的系统。

The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.

youdao

命题则从规律中推演得来。

Theorems are derived from the axioms.

youdao