Proposition logic program 题逻辑程序
medium proposition logic 中介命题逻辑
proposition logic system 命题逻辑系统
classical proposition logic 经典命题逻辑
n-value Proposition Logic n值命题逻辑
many valued proposition logic 多值命题逻辑
Belief Operator Proposition Logic 信念算子命题逻辑
Based on the truth degree of proposition logic theory,the problem of proposition reduction of two-valued proposition logic was disscused.
基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。
参考来源 - 基于公式真度的公式集约简·2,447,543篇论文数据，部分数据来源于NoteExpress
The classical proposition logic is the basis of modern formal logic.
经典命题逻辑是现代形式逻辑的基础。
Using a truth table is one of the important ways for proposition logic.
真值表方法是命题逻辑的一种重要的方法。
In the viewpoint of proposition logic and based on extension theory, a new method for proposition representation is proposed.
从命题逻辑的角度，以可拓论为基础，建立了命题表示的一种新方法，提出了物元命题、事元命题和事物元命题的概念；
应用推荐