1) propositional formula
命题公式
1.
True value table is an important concept in the propositional logic theory,we can seek the principal normal form of propositional formula,determine the type of propositional formula,and do logic reasoning by it.
真值表是命题逻辑理论中的一个重要概念,利用它可以求命题公式的主范式、判定命题公式的类型以及进行命题逻辑的推理等。
2.
Based on paper and,this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.
在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。
3) well-formed propositional formula
命题(合式)公式
5) binary trce
命题公式的二叉树
6) propositional form
命题形式
1.
Since predicate logic of mathematical logic introduced non-logical constants, symbolization of propositions and propositional forms were relatively separated, so that proposition forms have not simply equated with symbolization of propositions.
命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。
补充资料：命题公式
| 命题公式 propositional formula 命题逻辑系统中表示命题的公式。又称合式公式。以字母p，q，r，…表示命题变元，取  ，∧，∨， , ，为命题联结符号（见命题演算），依下列规则构成的有限符号串是命题公式：①单个命题变元是命题公式。 ②如果A，B是命题公式，则（  A），（A∧B），（A∨B），（A B），（A«B）也是命题公式。这种定义方式称为归纳定义， 又称递归定义 。例如p，q，r都是公式，（  p），（p∧q）也是公式，从而（（ p） （p∧q）），（（p∧q）∨r）也是公式，于是（（ p） （p∧q））, （（p∧q）∨r） 便也是命题公式 ，还可以构造更为复杂的命题公式。通常我们把联结词符号表中列在前面的看作优先于列在其后面的，这样可以省略命题公式中许多括号。例如上例中最后一个公式可简写为（ p p∧q） p∧q∨r。事实上，命题联结词 ，→可以把其他几个联结词表示出来 。p∧q  （p  q）,p∨q  p q，p q （p q）∧（q p），因此，命题公式的定义中只需用 ， 两个联结词就可以了。当然 ，∧或 ，∨，也可以起同样的作用。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条