第二章 谓词逻辑备选.pptVIP

第二章 命题逻辑等值演算 本章作业： 7-2、 (P ? Q) ∧(Q ? R) ? (? P ∨ Q) ∧(?Q ∨ R) ? ((? P ∨ Q) ∧?Q) ∨ ((? P ∨ Q) ∧R) ? ((?P∧?Q) ∨(?Q ∧Q)) ∨((?P∧R)∨(Q ∧R )) ? (?P∧?Q) ∨(?P∧R)∨(Q ∧R ) ? m0 ∨ m1 ∨ m3∨m7 ? M2∧M4∧M5∧ M6 第二章 命题逻辑等值演算 本章作业： 9-1、 (P ? Q) ? R ? ?(? P ∨ Q) ∨ R ? (P ∧ ? Q) ∨ R ? m1 ∨ m3 ∨ m4 ∨ m5 ∨m7 Q ? (P ? R) ? ? Q ∨(? P ∨ R) ? ?P ∨?Q ∨ R ? m0 ∨ m1 ∨ m2 ∨ m3 ∨ m4 ∨ m5 ∨m7 所以， (P ? Q) ? R与Q ? (P ? R)不等值。 第二章 命题逻辑等值演算 本章作业： 9-2、 ?(P ∧ Q) ? ? P ∨ ? Q ? m0 ∨ m1 ∨ m2 ?(P ∨ Q) ? ? P ∧? Q ? m0 所以， ?(P ∧ Q) 与?(P ∨ Q) 不等值。 第二章 命题逻辑等值演算 本章作业： 10-1、 P ?( Q ? R) ? ? P ∨( ? Q ∨R ) ? ? P ∨ ? Q ∨R ? M6 ?(P ∧ Q) ∨R ? ? P ∨ ? Q ∨R ? M6 所以， P ?( Q ? R) 与?(P ∧ Q) ∨R等值。 第二章 命题逻辑等值演算 本章作业： 10-2、 P ?( Q ? R) ? ? P ∨( ? Q ∨R ) ? ? P ∨ ? Q ∨R ? M6 (P ? Q) ? R ? ?(? P ∨ Q) ∨ R ? (P ∧ ? Q) ∨ R ? (P ∨ R) ∧ (? Q ∨ R) ? M0 ∧ M2∧ M6 所以， P ?( Q ? R) 与(P ? Q) ? R 不等值。 第二章 命题逻辑等值演算 本章作业： 12-1、 P ∧ ?Q ∧ ? R (无需再做) 12-2、 (P ? R)∧ Q ? (P ? R) ∧ (R? P) ∧Q ? (? P ∨ R) ∧ (? R ∨ P) ∧Q ? ?(P ∧ ? R) ∧ ? (R ∧ ? P) ∧Q 12-3、 (P ? (Q ∧ R)) ∨ P 第二章 命题逻辑等值演算 本章作业： 12-3、 (P ? (Q ∧ R)) ∨ P ? ( ?P ∨ ( ? Q ∨ R) )∨ P ? ( ?P ∨ ?(Q ∧ ? R) )∨ P ? ?(P ∧ (Q ∧ ? R) )∨ P ? ?((P ∧ (Q ∧ ? R) ) ∧ ? P) 第二章 命题逻辑等值演算 19、解： 设 P：王是班长。 Q：李是生活委员。 R：丁是班长。 s：王是生活委员。 t：李是班长。 w：王是学习委员。 则， 根据结果知有8种可能： ① P ∧R ∧ t ; ② P ∧R ∧ w ;③ P ∧s ∧ t ; ④ P ∧s ∧ w ;⑤ Q ∧R ∧ t; ⑥ Q ∧R ∧ w ; ⑦ Q ∧s ∧ t ; ⑧ Q ∧s ∧ w . 第二章 命题逻辑等值演算 设 判断经过为F，则： F ? ① ∨② ∨ ③ ∨ ④ ∨ ⑤ ∨ ⑥ ∨ ⑦ ∨ ⑧ 为真命题，又一人不能身兼数职，一职不能多人，所以 ① ∨ ② ∨ ③ ∨ ④ ∨ ⑤ ∨⑦ ∨ ⑧ ?0 即 F ? ⑥ ? Q ∧R ∧ w 即李是生活委员;丁是班长;王是学习委员。 第三章 命题逻辑的推理理论 例：判断下列推理是否正确。 1、今天小李或去网吧或去教室。他没去教室，所以他去网吧了。 设 P：小李去网吧。Q：小李去教室。则， 前提：P ∨ Q , ?Q 结论：P 推理的形式结构： ((P ∨ Q) ∧ ?Q) ?P 第三章 命题逻辑的推理理论 第三章 命题逻辑的推理理论 等值演算法： ((P ∨ Q) ∧