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.