由于简单命题是真值唯一确定的命题逻辑中最基本的研究单.pptVIP

* 由于简单命题是真值唯一确定的命题逻辑中最基本的研究单位，所以也称简单命题为命题常项或命题常元。从本节开始对命题进一步抽象，首先称真值可以变化的陈述句为命题变项或命题变元。 问：命题变项是不是命题？ 定义1.6 ????(1)单个命题变项是合式公式，并称为原子命题公式。????(2)若A是合式公式，则(┐A)也是合式公式。 ????(3)若A，B是合式公式，则(A∧B)，(A∨B)，(A→B)，(AB)也是合式公式。????(4)只有有限次地应用(1)～(3)形式的符号串才是合式公式。 ???合式公式也称为命题公式或命题形式，并简称为公式。 ????问：(p→q)∧(q ? r)，(p∧q)∧┐r，p∧(q∧┐r)等是不是合式公式？而pq→r，（p→(r→q)等是不是合式公式？ ????为描述公式构造的复杂性，引入下列“层次”定义。 定义1.7 ????(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)分别为几层公式。 ????对含n个命题变项的公式A的赋值情况做如下规定： ????1．若A中出现的命题符号为p1,p2,…,pn，给定A的赋值α1,α2,…,αn 是指p1＝α1，p2＝α2,…，pn＝αn。????2．若A中出现的命题符号为p，q，r...,给定A的赋值α1,α2,…,αn是指p＝α1，q＝α2,…，最后一个字母赋值αn。 ????在命题公式中，由于有命题符号的出现，因而真值是不确定的。当将公式中出现的全部命题符号都解释成具体的命题之后，公式就成了真值确定的命题了。 定义1.8 设p1,p2,…,pn是出现在公式A中的全部命题符号，给p1,p2,…,pn各指定一个真值，称为对A的一个赋值或解释。若指定的一组值使A的真值为1，则称这组值为A的成真赋值；若使A的真值为0，则称这组值为A的成假赋值。 ????问：含n(n≥1)个命题变项的公式共有多少个不同的赋值？ ????为看清公式在赋值下的取值，通常构造下面的“真值表”。 定义1.9 将命题公式A在所有赋值下取值情况列成表，称作A的真值表。 ???? 构造真值表的具体步骤如下： ????(1) 找出公式中所含的全体命题变项p1,p2,…,pn (若无下角标就按字典顺序排列)，列出2n个赋值。本课件规定，赋值从00…0开始，然后按二进制加法依次写出各赋值，直到11…1为止。 ????(2) 按从低到高的顺序写出公式的各个层次。????(3) 对应各个赋值计算出各层次的真值，直到最后计算出公式的真值。 例1.8 求下列公式的真值表，并求成真赋值和成假赋值。 ????(1)(┐p∧q)→┐r????(2)(p∧┐p)(q∧┐q)????(3) ┐(p→q)∧q∧r ???解 公式(1)是含3个命题变项的3层合式公式。它的真值表如表1.2所示。 表1.2 (┐p∧q)→┐r的真值表 ?从表1.2可知，公式(1)的成假赋值为011，其余7个赋值都是成真赋值。 定义1.10 设A为任一命题公式。 ????(1) 若A在它的各种赋值下取值均为真,则称A是重言式或永真式。????(2) 若A在它的各种赋值下取值均为假,则称A是矛盾式或永假式。????(3) 若A不是矛盾式,则称A是可满足式。 ????从定义不难看出以下几点： ????1. A是可满足式的等价定义是：A至少存在一个成真赋值。 ????2. 重言式一定是可满足式，但反之不真。因而，若公式A是可满足式，且它至少存在一个成假赋值，则称A为非重言式的可满足式。 ????3. 真值表可用来判断公式的类型: ????(1) 若真值表最后一列全为1，则公式为？ ????(2) 若真值表最后一列全为0，则公式为？ ????(3) 若真值表最后一列中至少有一个1，则公式为？ ????问：关于n个命题变元P1,P2,…,Pn,可以构造多少个真值表呢? … 0 1 0 1 0 1 1 … 0 1 1 0 0 0 1 … 1 0 0 0 0 1 0 … 0 0 0 0 0 0 0 Case 5 Case 4 Case 3 Case 2 Case 1