原创力文档1.2命题公式及其赋值;注1命题公式没有真值，仅当其中命题变项用确定的命题替换时才得到一个命题。
注2定义中的A,B可以表示任意的命题公式，包括0和1。
注3并不是由命题变项、联结词、括号组成的字符串都是命题公式。例如：?(p∧q)、(p→q)→?q是公式，p→q→(q)、pq?r不是公式。本质上，命题公式的递归定义给我们阐述了什么形式的字符串是规范的。
;定义公式的层次
(1)若公式A是单个的命题变项,则称A为0层公式.
(2)称A是n+1(n≥0)层公式是指下面情况之一：
(a)A=?B,B是n层公式；
(b)A=B?C,其中B,C分别
文档评论（0）