Owing to the utilization of the formalized method, logical calculus is more abstract and strict than the traditional logic in the study of the valid inferential form.

• 逻辑演算对推理形式有效性的研究,比传统逻辑更抽象、更严格,其原因是形式化方法的运用。形式化方法包括构造形式系统(语法的)和对该系统进行解释(语义的)两个阶段。