离散数学课y件第1章.pptVIP

　　现在说明第一个等价式。　　如果P是真，则等价式左右侧都是真; 如果P是假，则等价式左右侧都等价于xA(x)。 　　所以，第一个等价式是成立的。　　类似地可说明其它 3 个等价式成立。 　　(5) 量词的分配形式。 　　等价式①的成立是由于对一切x，A(x)∧B(x)是真，等价于对一切x，A(x)是真并且对一切x，B(x)是真。　　公式②可由公式①推出。 因为①中的A(x)、B(x)是任意的，所以可用　 A(x)、　 B(x)分别取代A(x)和B(x)，得否定等价式两边得 　　公式③我们首先证明它是不等价的。 设A(x)和B(x)分别解释为“x是奇数”和“x是偶数”，论述域是自然数N，则xA(x)是真，xB(x)是真，所以xA(x)∧xB(x)是真，但x(A(x)∧B(x))是假，所以公式③不等价。 再说明公式③是成立的，因为存在一x使A(x)∧B(x)是真，所以存在一x使A(x)是真，同时存在一x使B(x)是真。　　公式④可由公式③推出。 用　 A(x)和　 B(x)分别取代A(x)和B(x)，得所以，　　　　　　　　　　　　　　　　　 　　(6) 量词对　 及→的处理。　　只需应用它们对∧、∨、　 的恒等式即可推出。 例如　　证 　　(7) 关于多个量词的永真式。 　　公式①从意义上可看出是成立的，因为“对一切x和一