判断推理是否正确的方法 ·真值表法 ·等值演算法 ·主析取范式法 ·构造证明法 说明：当命题变项比较少时，用前3个方法比较方 便，此时采用形式结构“A1A2入4→B”.而在 构 造证明时，采用“前提：A1,A2,.,Ak结论：B” 6
6 判断推理是否正确的方法 • 真值表法 • 等值演算法 • 主析取范式法 • 构造证明法 说明：当命题变项比较少时，用前3个方法比较方 便, 此时采用形式结构“ A1A2.AkB” . 而在 构 造证明时，采用“前提: A1 , A2 , . , Ak , 结论: B
实例 例判断下列推理是否正确： (1) {p,p-→q}-q (2){ D,q→p}-q
7 实例 例 判断下列推理是否正确: (1) {p , pq} q (2) {p ,qp } q
实例 例判断下面推理是否正确 ()若今天是1号，则明天是5号.今天是1号.所 以明天是5号 解设p:今天是1号，q:明天是5号. 证明的形式结构为：(p-→q)p→9 证明（用等值演算法） (p→q)p→q 台(-pVq)pVq 台VVg台1 得证推理正确
8 实例 例 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所 以明天是5号. 解 设 p：今天是1号，q：明天是5号. 证明的形式结构为: (pq)pq 证明（用等值演算法） (pq)pq ((pq)p)q pqq 1 得证推理正确
实例（续） (2)若今天是1号，则明天是2号.明天是2号.所以今天是1号 解设p:今天是1号，4：明天是2号 证明的形式结构为：p→q)人q-→P 证明（用主析取范式法） (p→q0Λq→P 台(-pVq)Nq→P 台(pVq)AqP 台IVp 台（一pAq)VPA一qV(PAqV(PAq) 台m,Vm2Vm 结果不含m,故不是重言式，所以推理不正确
9 实例 (续) (2) 若今天是1号，则明天是2号. 明天是2号. 所以今天是1号. 解 设p：今天是1号，q：明天是2号. 证明的形式结构为: (pq)qp 证明（用主析取范式法） (pq)qp (pq)qp ((pq)q)p qp (pq)(pq) (pq)(pq) m0m2m3 结果不含m1, 故不是重言式，所以推理不正确