第1章命题逻辑基本概念.pptVIP

定义1.8 赋值或解释 设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. 赋值举例 在公式(?p1??p2??p3)?(p1?p2)中, 000(p1＝0, p2＝0, p3＝0), 110(p1＝1, p2＝1, p3＝0)都是成真赋值, 001(p1＝0, p2＝0, p3＝1), 011(p1＝0, p2＝1, p3＝1)都是成假赋值. 在(p??q)?r中, 011(p1＝0, p2＝1, p3＝1)为成真赋值, 100(p1＝1, p2＝0, p3＝0)为成假赋值. 重要结论：含n(n≥1)个命题变项的公式共有2n个不同的赋值. 定义1.9 真值表