Generalized semantic MP rules and generalized semantic HS rules of the system Ha

• 系统Ha中广义语义MP规则与广义语义HS规则