propositional modal logic

英美

命题模态逻辑

propositional modal logic网络翻译

命题模态逻辑

2.1 PML 形式系统概述关于命题模态逻辑（PML，Propositional Modal Logic）的描述从略，参见[1, 21-23, 33]。

propositional modal logic常用短语

1. Normal Modal Propositional Logic System：正规模态逻辑系统

propositional modal logic双语例句

Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.

目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。

Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical 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. 剧作家