1-3、4翻译、真值表.pptVIP

例题6 验证吸收律 P∨（P∧Q）? P P∧（P∨Q） ? P 证明 列出真值表 表1-4.9 P Q P∧Q P∨（P∧Q） P∨Q P∧（P∨Q） T T T T T T T F F T T T F T F F T F F F F F F F 由表1-4.9可知吸收律成立。 * ②等价置换 在一个命题公式中，如果用公式置换命题的某个部分，一般地将会产生某种新的公式，例如Q→(P∨(P∧Q))中以(┐P→Q)取代(P∧Q)，则Q→(P∨(┐P→Q) )就与原式不同。为了保证取代后的公式与原始公式是等价的，故需对置换作出一些规定。 P Q P∨(P∧Q) Q→(P∨(P∧Q)) ┐P→Q P∨(┐P→Q) Q→(P∨(┐P→Q) ) T T T T T T T T F T T T T T F T F F T T T F F F T F F T * 定义1-4.3 如果X是合式公式A的一部分，且X本身也是一个合式公式，则称X为公式A的子公式。 证明 因为在相应变元的任一种指派情况下，X与Y的真值相同，故以Y取代X后，公式B与公式A在相应的指派情况下，其真值亦必相同，故A ? B。 口 满足定理1-4.1条件的置换称为等价置换(等价代换)。 定理1-4.1 设X是合式公式A的子公式，若 X ? Y，如果将A中的X用Y来置换，所得到公式B与公式A等价，即A ? B。 * 例题7 证明Q→(P∨(P∧Q)) ? Q→P P Q P∧Q P∨（P∧Q） Q→P∨（P∧Q） Q→P T T T T T T T F F T T T F T F F F F F F F F T T 有了最基本的的命题公式的等价关系，再利用定理1-4.1，就可以推证一些更为复杂的命题等价公式。 证明 设A：Q→(P∨(P∧Q))， B：Q→P 因为 P∨(P∧Q) ? P 故 A ? B 对A ? B亦可用表1-4.10予以验证： 表 1-4.10 吸收律 * 例题8 证明(P∧Q)∨ (P∧┐Q) ? P 例题9 证明P →(Q→R) ? Q→(P→R) ? ┐R→(Q→┐P) P →(Q→R) ? ┐P∨(┐Q ∨R) ? R ∨(┐Q ∨┐P) ? ┐R→(Q→┐P) 证明 P →(Q→R) ? ┐P∨(┐Q ∨R) ? ┐Q ∨(┐P ∨R) ? Q→(P→R) ? P ? P ∧ T 证明 (P∧Q)∨ (P∧┐Q) ? P∧ (Q∨┐Q) 合取对析取的分配律（反用） 否定律 同一律 * 例题10 证明((P∨Q) ∧┐(┐P∧┐ (Q∧R))) ∨(┐P∧┐Q) ∨(┐P∧┐R) ? T ? T ? ((P∨ Q)∧(P ∨ R)) ∨┐((P∨Q) ∧ (P∨R)) ? ((P∨Q) ∧(P∨ Q)∧(P ∨ R)) ∨┐((P∨Q) ∧ (P∨R)) 原式左边?((P∨Q) ∧(P∨ (Q∧R))) ∨┐ (P∨Q) ∨┐ (P∨R) 证明 * 小结 本节主要内容： 真值表 在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真