离散数学14真值表和等价公式.pptVIP

* * 第一章 命题逻辑 1-4 真值表与等价公式 一、公式的层次 公式的层次（补充）定义： (1)若公式A是单个的命题变元，则称A为0层公式。 (2)称A是n+1(n≥0)层公式是指下面情况之一： A＝┐B，B是n层公式； A＝B∧C，其中B，C分别为i层和j层公式，且n＝max(i，j)； A＝B∨C，其中B，C的层次及n同(b)； A＝B→C，其中B，C的层次及n同(b)； A＝B?C，其中B，C的层次及n同(b)； (3)若公式A的层次为k，则称A是k层公式。 易知，(┐P∧Q)→R，(┐(P→┐Q))∧((R∨S)?┐P)分别为3层和4层公式。 二、命题公式分量指派 公式就代表命题，但代表的命题是真还是假呢？ ????在命题公式中，由于有命题符号的出现，因而真值是不确定的。当将公式中出现的全部命题符号都解释成具体的命题之后，公式就成了真值确定的命题了。 例如，在公式(P∨Q)→R中: 若将P解释成：2是素数， Q解释成：3是偶数， R解释成：是无理数，则P与R被解释成真命题，Q被解释成假命题了，此时公式(P∨Q)→R被解释成：若2是素数或3是偶数，则 是无理数。这是一个真命题。 二、命题公式分量指派 若P，Q的解释不变，R被解释为：是有理数，则(P∨Q)→R被解释成：若2是素数或3是偶数，则