
n.公式;規(guī)則;客套話
名詞formula的復(fù)數(shù)形式.
We can use it for quick formulae display. 可以使用它來實(shí)現(xiàn)公式的快速顯示。
Some people appreciate theory and formulae, while some people appreciate practice and skills. 有些人重視理論和規(guī)則,但有些人重視實(shí)踐和技巧。
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ī)則。