“inference rule”可以造什么句，inference rule造句

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

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.