逻辑部分习题课课件.pptVIP

逻辑部分知识结构图;第一章 习题课;1. 将下列命题符号化 (1) 由于交通阻塞，他迟到了. (2) 如果交通不阻塞，他就不会迟到. (3) 他没迟到，所以交通没阻塞. (4) 除非交通阻塞，否则他不会迟到. (5) 他迟到当且仅当交通阻塞.;答案: 设 p: 交通阻塞，q: 他迟到 (1) p?q (2) ?p??q (3) ?q??p (4) q?p (5) q?p;2. 用真值表判断下面公式的类型 (1) p?r??(q?p) (2) ((p?q) ?(?q??p)) ?r (3) (p?q) ?(p?r);练习2解答;练习2解答;练习2解答;第二章 习题课;练习1: 判断公式类型;练习题1(续);解 用等值演算法求公式的主范式 (p?q)??p ? (?p?q)??p ? ?p ? (?p??q)?(?p?q) ? m0 ? m1 主析取范式 ? M2 ? M3 主合取范式;第三章 习题课;练习1：判断推理是否正确;练习1解答;练习1解答;练习1解答;练习2：构造证明;练习2解答;归谬法（反证法）;附加前提证明法;3. 在自然推理系统P中构造下面推理的证明. 前提： ?p?q, r ? ?q, r?s 结论： p?s;第四章 习题课;练习1;练习1;(2) ?x?y(F(f(x,a), y)?F(f(y,a), x));练习2;练习3;练习4;第五章 习题课;练习1;练习2;练习2(续);练习2(续);练习3;练习3(续)