Symbolic logic is often divided into two branches, propositional logic and predicate logic. 符号逻辑往往分为两个分支,命题逻辑(PL)和谓词逻辑。
This paper presented an automated reasoning algorithm for natural deduction system ( NR ) of relevance propositional logic. 给出了相干命题逻辑(PL)自然推理系统NR的自动证明算法。
This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence. 解释命题、命题逻辑(PL)和其涉及的否定、合取、析取、蕴涵和等价等定义,同时分析它们的形式和用法。
The uniform issue of two-valued propositional logic formulas and logical equivalent formulas is discussed. 探讨二值命题逻辑(PL)公式及逻辑等价公式统一性问题。
The Implication Measurement and Approximate Reasoning in Two-valued Propositional Logic(PL) 二值命题逻辑(PL)中的蕴涵度量与近似推理