它为线性命题公式提供了理论基础;
The minimum term and maximum term defined by the propositional variations, are the core problems of expressions and applications stemmed from the propositional formula.极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征。
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.详细说明:命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。