实例 (续)(2）若今天是1号，则明天是5号.明天是5号.所以今天是1号解设p：今天是1号，9：明天是5号推理的形式结构为：(p→q)^q>p证明（用主析取范式法）(p)p-((pv)q)vp(() ()()mvmvm结果不含m，故01是成假赋值，所以推理不正确6
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)化简律(AB) = A假言推理(A-→B)A = B拒取式(A→B)^-B= A析取三段论(AvB)^-B = A假言三段论(A→B)^(B→C)= (A→C)等价三段论(AB)A(BC) = (AC)构造性二难(A-B)^(C-D)^(AVC) = (BVD)
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) 构造性二难