逻辑部分习题课.pptxVIP

逻辑部分习题课会计学第1页/共36页第一章 习题课命题符号化公式的类型真值表及应用第2页/共36页练习11. 将下列命题符号化 (1) 由于交通阻塞，他迟到了. (2) 如果交通不阻塞，他就不会迟到. (3) 他没迟到，所以交通没阻塞. (4) 除非交通阻塞，否则他不会迟到. (5) 他迟到当且仅当交通阻塞.第3页/共36页练习1解答答案:设 p: 交通阻塞，q: 他迟到 (1) p?q (2) ?p??q (3) ?q??p (4) q?p (5) q?p第4页/共36页练习22. 用真值表判断下面公式的类型 (1) p?r??(q?p) (2) ((p?q) ?(?q??p)) ?r (3) (p?q) ?(p?r)第5页/共36页练习2解答(1) p?r??(q?p) 矛盾式p q rq?p ?(q?p) p?r??(q?p)0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 100110000p q rp?q ?q??p ((p?q) ?(?q??p)) ?0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 111111111 第6页/共36页练习2解答(2) ((p?q) ?(?q??p)) ?r 永真式练习2解答第7页/共36页(3) (p?q) ?(p?r)非永真式的可满足式p q rp?q p?r (p?q) ?(p?r)0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 111110101第二章 习题课第8页/共36页等值式与等值演算基本等值式（16组，24个公式）主析取范式与主合取范式练习1: 判断公式类型第9页/共36页1. 判断下列公式的类型: (1) (p?q)?(?q??p)重言式解 用等值演算法求主范式 (p?q)?(?q??p) ? ?(?p?q)?(q??p) ? (p??q)?(q??p) ? (p??q)?(?p?q)?(p?q)?(?p??q) ? m2 ? m1 ? m3 ? m0 ? m0 ? m1 ? m2 ? m3主析取范式 ? 1主合取范式练习题1(续)第10页/共36页(2) ?(p?q)?q解 用等值演算法求公式的主范式 ?(p?q)?q ? ?(?p?q)?q ? p??q?q ? 0主析取范式 ? M0 ? M1 ? M2 ? M3 主合取范式矛盾式练习1(续)第11页/共36页(3) (p?q)??p解 用等值演算法求公式的主范式 (p?q)??p ? (?p?q)??p ? ?p ? (?p??q)?(?p?q) ? m0 ? m1 主析取范式 ? M2 ? M3 主合取范式非重言式的可满足式第三章 习题课第12页/共36页理解并记住推理形式结构的两种形式： 1. (A1?A2?…?Ak)?B 2. 前提：A1, A2, … , Ak 结论：B熟练掌握构造证明的直接证明法、附加前提证明法和归谬法会解决实际中的简单推理问题练习1：判断推理是否正确第13页/共36页1. 判断下面推理是否正确: (1) 前提：?p?q, ?q 结论：?p 解 推理的形式结构:((?p?q)??q)??p方法一：等值演算法 ((?p?q)??q)??p ? ?((p?q)??q)??p ? (?p??q)?q??p ? ((?p?q)?(?q?q))??p ? ?p?q不是重言式, 推理不正确练习1解答第14页/共36页方法二：主析取范式法 ((?p?q)??q)??p ??((p?q)??q)??p ??p?q ?M2 ?m0?m1?m3不是重言式, 推理不正确pq?p?q 0 1 1 1(?p?q)??q 0 0 1 0((?p?q)??q)??p001011100111练习1解答第15页/共36页方法三 真值表法不是重言式, 推理不正确方法四 直接观察出10是成假赋值不是重言式, 推理不正确练习1解答第16页/共36页(2) 前提：q?r,p??r 结论：q??p ((q?r)?(p??r))?(q??p) 解 推理的形式结构：用等值演算法 ((q?r)?(p??r))?(q??p) ?((?q?r)?(?p??r))?(?q??p) ??((q??r)?(p?r))?(?p??q) ?(q??r)?(p?r)?