离散数学-命题逻辑-2-左孝凌.pdfVIP

1-4 真值表和等价公式 定义1-4.1 设pl，p2，…，pn是出现在公式A中的全部命题 变元，给pl，p2，…，pn各指定一个真值，称为对公式 A的一个赋值或解释。若指定的赋值使A的真值为T，则 称这个赋值为A的成真赋值，若使A的真值为F，则称这 个赋值为A的成假赋值。 例如: 给公式(p∨q→r)赋值011是指p=0，q=1，r=1，它是 该公式的成真赋值；赋值110是指p=1，q=1，r=0，它是 该公式的成假赋值。 真值表 定义1-4.2 在命题公式A中，对 表1-4.1 p q ¬p ¬p∨q A的每一个赋值，就确定了A 0 0 1 1 的一个真值，把它们汇列成 0 1 1 1 表，称该表为命题公式A的 1 0 0 0 真值表。 1 1 0 1 例1: 构造命题公式¬p∨q的真值表，并求成真赋值和成假 赋值。 解：命题公式¬p∨q的真值表如表1-4.1所示。00，01，11 是成真赋值，10是成假赋值。 真值表 例2: 构造命题公式(p∧q)∨(¬p∧¬q)的真值表，并求成真 赋值和成假赋值。 解：命题公式(p∧q)∨(¬p∧¬q)的真值表如表1-4.2所示。 00，11是成真赋值，01，10是成假赋值。 表1-4.2 p q p∧q ¬p ¬q ¬p∧¬q (p∧q)∨(¬p∧¬q) 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 命题公式的等价 定义1-4.3 设A和B是两个命题公式，对A和B的任一赋值，A和B的真值 都相同，则称A和B是等价的或逻辑相等的，记为A⇔B。 例3: 根据等价的定义，可以用真值表证明 p→(q→p)⇔¬p→(p→¬q) 证明：构造p→(q→p)和¬p→(p→¬q)的真值表，如表1-4.3所示。 p→(q→p)和¬p→(p→¬q)所在的列完全相同，它们具有相同的真值 表。所以p→(q→p)⇔¬p→(p→¬q) 表1-4.3 p q ¬p ¬q q→p p→(q→p) p→¬q ¬p→(p→¬q) 0 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 1 等价式的性质 可以证明，命题公式等价有下面的三条性质： ⑴ 自反性，