离散数学(第2讲)命题逻辑2.pptVIP

等价式的判定 例3.4 证明P∨┐((P∨┐Q)∧Q) 是永真公式。 证：P∨┐((P∨┐Q)∧Q) ?P∨┐(P∨┐Q)∨┐Q (De Morgan定律) ?(P∨┐Q)∨┐(P∨┐Q) (交换律) (结合律) ?T ■（矛盾律） * * 等价式的判定 例3.5 证明P→(Q→R) ?(P∧Q)→R 证：P→(Q→R) ? ┐P∨(Q→R)（蕴涵） ? ┐P∨(┐Q∨R) （蕴涵） ?(┐P∨┐Q)∨R (结合律) ? ┐(P∧Q)∨R （蕴涵） ?(P∧Q)→R ■（蕴涵） * * 等价式的判定 例3.6 试证明(P∧(Q∨R))∨(P∧┐Q∧┐R) ?P 证明： (P∧(Q∨R))∨(P∧┐Q∧┐R) ?P∧((Q∨R)∨(┐Q∧┐R))（分配律） ? P∧((Q∨R)∨┐(Q∨R)) (De Morgan定律) ? P∧T（矛盾律） ?P■(同一律) * * 等价式的判定 例3.7 试证明(┐P∧(┐Q∧R))∨((Q∧R)∨(P∧R))?R 证明：(┐P∧(┐Q∧R))∨((Q∧R)∨(P∧R)) ?((┐P∧┐Q)∧R）∨((Q∨P)∧R)（结合律、分配律） ?(┐(P∨Q)∧R)∨((Q∨P)∧R) (De Morgan定律) ?(┐(P∨Q)∨(Q∨P)）∧R（分配律） ?T∧R(交换律、矛盾律） ?R ■（同一律） * *