交大数理逻辑课件5-2谓词逻辑的等值和推理演算.pptVIP

作业讲评2 P37: 4(1) 证明：A→B与B*→A*同永真、同可满足 定理2.5.2： (A*)*=A, (A—)—= A 定理2.5.3： ? A = A*— 证明： 若A→B永真，则 ? B →? A 永真 由 ?A = A*—， ?B = B*—，得 B*—→A*— 永真 即： B*→A* 永真 反之，若B*→A* 永真，则(A*)* →(B*)*永真 由 A=(A*)*，B=(B*)*，得 A→B 永真 ∴ A→B与B*→ A*同永真 显然， A → B与B*→ A*同可满足 P37：5(3)求析取范式、主析取范式 (?P∨?Q) ?(P??Q) = (? P ∨? Q) ?((P ∧? Q)∨(? P ∧ Q)) =?(? P ∨? Q)∨((P ∧? Q)∨(? P ∧ Q)) = (P ∧ Q)∨(P ∧? Q)∨(? P ∧ Q) = ∨(1,2,3) P37：5(8)求析取范式、主析取范式 (P?Q)∨((Q ∧ P) ? (Q ??P)) = (P ? Q)∨(((Q∧P) ? Q) ? ?P) = (P ? Q)∨(((Q ∧P)∧Q)∨(?Q∨?P)∧? Q)) ? ?P) = (P ? Q)∨(((Q ∧P)∨?Q)) ? ?P) = (P ? Q)∨((P∨?Q) ? ?P) = (P