实例(续) (2)若今天是1号,则明天是5号.明天是5号所以今天是1号 解设p:今天是1号,q:明天是5号 证明的形式结构为:(→>q)∧→>p 证明(用主析取范式法) (P→q)∧q→p 分(ypVq)∧q→>P →-(yVq)qvp 分(一∧-q)VD入一q(DA-q)V{D入q) 8 movm2vm3 结果不含m1故01是成假赋值,所以推理不正确
6 实例 (续) (2) 若今天是1号，则明天是5号.明天是5号.所以今天是1号. 解 设p：今天是1号，q：明天是5号. 证明的形式结构为: (p→q)q→p 证明（用主析取范式法） (p→q)q→p (pq)q→p ((pq)q)p qp (pq)(pq) (pq)(pq) m0m2m3 结果不含m1,故01是成假赋值，所以推理不正确
推理定律—重言蕴涵式 重要的推理定律 A→(AvB) 附加律 (4∧B)→A 化简律 (4->B)4→B 假言推理 (4→B)∧-B→-4 拒取式 (4ⅤB)入-B→A 析取三段论 (4→>B)∧(B→>C)→(4->C) 假言三段论 (4B)(B>C→(4)C 等价三段论 (A→>B)∧(C→>D)N(4O)→(BND)构造性二难
7 推理定律——重言蕴涵式 重要的推理定律 A (AB) 附加律 (AB) A 化简律 (A→B)A B 假言推理 (A→B)B A 拒取式 (AB)B A 析取三段论 (A→B)(B→C) (A→C) 假言三段论 (AB)(BC) (AC) 等价三段论 (A→B)(C→D)(AC) (BD) 构造性二难