formal calculus

例句：

1. 1. The formalcalculus is a branch of mathematics that deals with the study of equationsand systems.
   形式逻辑学是数学的一个分支，研究方程和系统。
2. 2. In formalcalculus, we use symbols to representvariables and operations.
   在形式逻辑学中，我们使用符号来表示变量和操作。
3. 3.The formal calculus is used inmany fields, such as computer science andengineering.
   形式逻辑学在许多领域都有应用，如计算机科学和工程。