字1 字21 字41 字61 字81 字101 成语1 成语21 成语41 成语61 成语81 成语101 词语1 词语101 词语201 词语301 词语401 词语501 词语601 单词1 单词21 单词41 单词61 单词81 单词101 诗词1 诗词101 诗词201 诗词301 诗词401 诗词501 诗词601 诗人1 诗人21 诗人41 诗人61 诗人81 诗人101 名句1 名句21 名句41 名句61 名句81 名句101 近反义词1 近反义词21 近反义词41 近反义词61 近反义词81 近反义词101 造句1 造句101 造句201 造句301 造句401 造句501 造句601 字笔顺1 字笔顺21 字笔顺41 字笔顺61 字笔顺81 字笔顺101 歇后语1 谜语1 谜语11 谜语21 文言文1 文言文2 文言文3 百家姓1 百家姓2 百家姓3
单词大全
单词
当前位置:首页单词大全 propositional formula
propositional formula
单词基本解释
例句
例句
Each Girard quantale can provide the theoretical base of linear propositional formula.

它为线性命题公式提供了理论基础;

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.

详细说明:命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。

相关推荐

Top