propositional logic

英美

命题逻辑：一种形式演绎系统，其中可以通过逻辑连接词将原子命题组合形成表示命题的公式。

[数] [计] 命题逻辑

... logic operation逻辑运算 propositional logic命题逻辑 sequential logic时序逻辑；顺序逻辑；循序逻辑 ...

This paper introduces a method for propositional logic calculation.

介绍了命题逻辑演算方法。

In the knowledge implication propositional logic system which build on this strategy, 1.

在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。

Furthermore, it presents a creditability problem about theorem proof in propositional logic.

也引申出命题逻辑定理证明的一个可信性问题。

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. 剧作家