n.公式;規(guī)則;客套話
名詞formula的復數(shù)形式.
We can use it for quick formulae display. 可以使用它來實現(xiàn)公式的快速顯示。
Some people appreciate theory and formulae, while some people appreciate practice and skills. 有些人重視理論和規(guī)則,但有些人重視實踐和技巧。
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. 根岑式的演算可以為此做出修改,就是除去允許在相繼式右手端的介入任意公式的弱化規(guī)則。