命题逻辑1概要.ppt

3. 命题公式 命题公式是由0、1、命题常元、命题变元以及命题联结词、括号等组成的符号串。 定义 （命题公式的递归定义） （1） 0，1，命题常元是命题公式； （2） 命题变元是命题公式； （3） 如果A是命题公式，则?A是命题公式； （4） 如果A和B是命题公式，则（A∨B）， （A∧B）,(A→B）,(A? B）也是命题公式； 有限次地利用上述（1）—（4）而产生的符号串是命题公式，又称为合式公式，简称公式。 例 下列符号串是否为命题公式。 （1） p→(q∧pr）； （2）（p∨q）→（?（q∧r）） 不是命题公式 　 是命题公式 4. 公式层次 定义 (1)若公式A是单个的命题变项, 则称A为0层公式? (2)称A是n+1(n≥0)层公式是指下面情况之一： ?????? (a) A＝┐B, B是n层公式； ?????? (b) A＝B∧C, 其中B, C分别为i层和j层公 式, 且n＝max(i, j)； ????? ?(c) A＝B∨C, 其中B, C的层次及n同(b)； ????? ?(d) A＝B→C, 其中B, C的层次及n同(b)； ?????? (e) A＝B ? C, 其中B, C的层次及n同(b)； ? (3)若公式A的层次为k, 则称A是k层公式。 例 (┐p∧q)→r, (┐(p→┐q))∧((r∨s) ? ┐p)分别为3层和4层公式 二、公式的赋值 命题公式代表一个命题，但只有当公式中的每一个命题变元都用一个确定的命题代入时，命题公式才有确定的真值，成为命题。 定义 设F为含有命题变元P1，P2，…,Pn的命题公式，对P1，P2，…,Pn分别指定一个真值,称为对公式F的一组真值指派或称为对公式的一个赋值或解释。 使公式值为真的一组赋值称为公式的成真赋值。 使公式值为假的一组赋值称为公式的成假赋值。 ？含n(n≥1)个命题变项的公式共有多少组真值指派？ 2n个不同的赋值 公式与其命题变元之间的真值关系，可以用真值表的方法表示出来。 真值表 定义 将命题公式A在所有赋值下取值情况列 成表, 称作A的真值表。 构造真值表的具体步骤如下： ?(1) 找出公式中所含的全体命题变项p1,p2,…,pn (若无下角标就按字典顺序排列), 列出2n个赋值。规定赋值从00…0开始, 然后按二进制数由小到大依次写出各赋值, 直到11…1为止。 (2) 按从低到高的顺序写出公式的各个层次。 (3) 对应各个赋值计算出各层次的真值, 直到最后计算出公式的真值。 ?例 求公式(┐p∧q)→┐r的真值表, 并求成真赋值和成假赋值。 ???? 成假赋值为011, 其余7个赋值都是成真赋值。 练习 　 给出公式 F=(（p∨q）?（q∧r）)? (p∧?r） 的真值表。 解 公式F的真值表如下： p q r ?r p∨q q∧r (p∨q)→(q∧r) p∧?r F 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 三、公式类型 定义 如果对于命题公式F所包含的命题变元的任何一组真值指派，F的真值恒为真，则称公式F为重言式（或永真式），常用“1”表示。相反地，若对于F所包含的命题变元的任何一组真值指派，F的真值恒为假，则称公式F为矛盾式（或永假式），常用“0”表示。如果至少有一组真值指派使公式F的真值为真，则称F为可满足式 。 练习 构造下列命题公式的真值表并判断公式的类型 （1）（?p?q）? ?（p?q） （2）（q→p）∧（?p∧q） （3）（（p∨q）→（q∧r））→（p∧?r） 重言式 矛盾式 可满足式 综合练习 1、判断下面一段论述是否为真：“π是无理数；并且，如果3是无理数 ，则2的算术平方根也是无理数；另外，只有6能被2整除，6才能被4整除。” （真） 2、在什么情况下下面一段论述是真的：“说小王不会唱歌或小李不会跳舞是正确的，而说如果小王会唱歌，小李就会跳舞是不正确的。