“inference rule”簡單造句，inference rule造句子

Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.

Examples of stateful rules include most event correlation rules and some USES of inference rules.