propositional calculus
命题演算：一种逻辑系统，用于处理命题的真值和关系，通常用于分析和推理复杂的命题结构。
propositional calculus网络翻译
命题逻辑与谓词逻辑 命题逻辑（Propositional Logic或Sentential Logic）又称为命题演算（Propositional Calculus）是这样一个形式逻辑，其中，表达命题的公式能够被通过用逻辑联结词将原子命题组织而成，而且一个形式证明规则系统允许某个公式被...
命题逻辑... 命题逻辑 propositional calculus; propositional logic 拚命 desperateness 诫命 commandment ...
命题统计... propositional attitude 命题态度 propositional calculus 命题统计 propositional cohesiveness 命题的凝聚性 ...
propositional calculus常用短语
1. medium propositional calculus：中介命题演算
2. modal propositional calculus t：模态命题演算T
3. propositional calculus form system：命题演算形式系统
4. Medium Logic Propositional Calculus：中介逻辑命题演算
propositional 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系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
相关单词
- purchasingn. 购买，采购 adj. 购买的，采购的 v. <正式>购买，采购；<古>（努力或艰难地）获得，得到；（航海）（用滑轮或杠杆）升起，举起（绳，索，锚）（purchase 的现在分词）
- purchasern. 买方；购买者
- publishingn. 出版；出版业 adj. 出版的；出版业的 v. 出版；发行（publish 的现在分词形式）；发表
- publishern. 出版者，出版商；发行人
- psycology
- protractorn. 伸肌；分度器；伤处异物摘出器
- protectionismn. 保护主义，贸易保护主义；贸易保护制度
- proletariatn. 无产阶级，工人阶级；最下层阶级
- proletariann. 无产阶级分子；无产者 adj. 无产阶级的；无产者的
- programmern. （计）程序设计员；编程器
- producingv. （用部件或原材料）生产；出产；生育；创作；引起；出示；制作（电影、戏剧等）；监制（音乐磁带）；（使）线段延长（produce 的现在分词）
- prizegivingn. 分配奖品
- private sector私营单位
- printingn. 印刷（术）；（书的）一次印刷；印刷字体 v. 打印，印刷；（在报纸、杂志上）刊印，刊登；洗印，冲洗（照片）（print 的现在分词形式）
- playwrightn. 剧作家