命题逻辑II 范式与推理理论精要.ppt

* * * * * 实例 (续) (2) 若今天是1号，则明天是5号. 明天是5号. 所以今天是1号. 解 设p：今天是1号，q：明天是5号. 推理的形式结构为: (p?q)ùq?p 证明（用主析取范式法） (p?q)ùq?p ? (?púq)ùq?p ? ? ((?púq)ùq)úp ? ?qúp ? (?pù?q)ú(pù?q)ú (pù?q)ú(pùq) ? m0úm2úm3 结果不含m1, 故01是成假赋值，所以推理不正确. * 推理正确性的证明：推理定律 重要的推理定律重言蕴涵式 A T (AúB) 附加律 (AùB) T A 化简律 (A?B)ùA T B 假言推理 (A?B)ù?B T ?A 拒取式 (AúB)ù?B T A 析取三段论