网络释义英英释义
PPT/Microsoft Powerpoint - 命题公式(propositional formulas)永真命题公式(Tautology)公式中的命题变量无论..
基于76个网页-相关网页
valid propositional formula 命题永真公式
satisfiable propositional formula 命题可满足公式
formula of propositional logic 命题逻辑公式
propositional atomic formula 命题原子公式
Propositional formula
- abstract: In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value.
以上来源于: WordNet
双语例句
-
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.
详细说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
应用推荐