n.公式;规则;客套话
名词formula的复数形式.
We can use it for quick formulae display. 可以使用它来实现公式的快速显示。
Some people appreciate theory and formulae, while some people appreciate practice and skills. 有些人重视理论和规则,但有些人重视实践和技巧。
Gentzen-style calculi can be modified by removing the weakening rules that allow for the introduction of arbitrary formulae on the right or left side of the sequents. 根岑式的演算可以为此做出修改,就是除去允许在相继式右手端的介入任意公式的弱化规则。