1.1命题逻辑基本概念课件.pptVIP

公式的解释 在命题公式中，由于有命题符号的出现，因而真值是不确定的。当将公式中出现的全部命题符号都解释成具体的命题之后，公式就成了真值确定的命题了。 (p∨q)→r 若p：2是素数，q：3是偶数，r： 是无理数，则p与r被解释成真命题，q被解释成假命题，此时公式(p∨q)→r被解释成：若2是素数或3是偶数，则 是无理数。（真命题） 若p,q 的解释 不变，r被解释为： 是有理数，则(p∨q)→r被解释成：若2是素数或3是偶数，则π是有理数。（假命题） 将命题变项p解释成真命题，相当于指定p的真值为1，解释成假命题，相当于指定p的真值为0。 定义1.8 赋值或解释 设A为一命题公式，p1,p2,…,pn是出现在公式A中的全部命题变项，给p1,p2,…,pn各指定一个真值，称为对A的一个赋值或解释。若指定的一组值使A的真值为1，则称这组值为A的成真赋值；若使A的真值为0，则称这组值为A的成假赋值。 对含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。 上述αi取值为0或1，i＝1,2,…,n。 赋