命题逻辑与谓词逻辑 命题逻辑（Propositional Logic或Sentential Logic）又称为命题演算（Propositional Calculus）是这样一个形式逻辑，其中，表达命题的公式能够被通过用逻辑联结词将原子命题组织而成，而且一个形式证明规则系统允许某个公式被...
基于730个网页-相关网页
... 命题逻辑 propositional calculus; propositional logic 拚命 desperateness 诫命 commandment ...
基于288个网页-相关网页
... propositional attitude 命题态度 propositional calculus 命题统计 propositional cohesiveness 命题的凝聚性 ...
基于8个网页-相关网页
modal propositional calculus s 模态命题演算S
fuzzy propositional calculus 模糊命题演算
propositional calculus system 命题演算系统
medium propositional calculus 中介命题演算
modal propositional calculus t 模态命题演算T
propositional calculus form system 命题演算形式系统
Medium Logic Propositional Calculus 中介逻辑命题演算
·2,447,543篇论文数据，部分数据来源于NoteExpress
同义词： propositional logic
以上来源于: WordNet
N the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure 命题演算 → compare predicate calculus
This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
MP~M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
应用推荐