1) generalization rule
全称化规则
2) rule of universal specification
全称规定规则
3) generalization rule
全称概括规则
4) rule of universal generalization
全称推广规则
5) the rule of elimination of the universal quantifier
全称量词消去规则
6) symmetry rule
对称规则
1.
The new algorithm has a symmetry rule(Literal renaming)and three simplifing rules((1,*)- Resolution,Subfonnula,and Multiple).
新的算法带有一条对称规则(文字改名规则)和三条简化规则((1,*)-消解、子公式、重复规则)。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条