经典命题逻辑是现代形式逻辑的基础。
The classical proposition logic is the basis of modern formal logic.
真值表方法是命题逻辑的一种重要的方法。
Using a truth table is one of the important ways for proposition logic.
在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
In the knowledge implication propositional logic system which build on this strategy, 1.
在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
In the knowledge implication propositional logic system which build on this strategy, 1.
应用推荐