第一章 命题逻辑(1.8).ppt

§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;例1：证明：P?Q,Q ? R,P?R 推理过程： 步骤 推理过程 规则 根据 (1) P?Q P (2) P P (3) Q T(1)(2) I11 (4) Q ? R P (5) R T(3)(4) I11 ;例1：证明：P?Q,Q ? R,P?R 也可以这样推理： 步骤 推理过程 规则 根据 　 (1) P?Q P 　 (2) Q ?R P (3) P?R T(1)(2) I13 (4) P P (5) R T(3)(4) I11 ;例2 证明： (P∨Q) ∧(P ?R) ∧(Q ?S)?S∨R 证明： (1) (P∨Q) P (2) ? P ?Q T(1) E16 (3) Q ?S P (4) ? P ?S T(2)(3) I13 (5) ? S ?P T(4) E18 (6) P ?R P (7) ? S ?R T(5) (6) I13 (8) S∨R T(7)E16 ;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;例2:证明: R??Q, R∨S , S??Q, P?Q ? ?P (1) ? (?P) 假设前提 (2) P T(1) E1 (3) P?Q P (4) Q T(2)(3) I11 (5) S??Q P (6) Q??S T(5) (7) ?S T(4)(6) E16 (8) R∨S P (9) R T(7)(8) I10 (10) R??Q P (11) ?Q T(9)(10) I11 (12)Q ∧ ?Q T(4)(11) (13) F;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;§1.8 推理理论;第一章小结;第一章小结;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲;习题选讲