2021逻辑部分习题课分析.pptVIP

逻辑部分知识结构图 1 第一章 习题课 ? 命题符号化 ? 公式的类型 ? 真值表及应用 2 练习 1 1. 将下列命题符号化 (1) 由于交通阻塞，他迟到了 . (2) 如果交通不阻塞，他就不会迟到 . (3) 他没迟到，所以交通没阻塞 . (4) 除非交通阻塞，否则他不会迟到 . (5) 他迟到当且仅当交通阻塞 . 3 练习 1 解答 答案 : 设 p : 交通阻塞， q : 他迟到 (1) p ? q (2) ? p ?? q (3) ? q ?? p (4) q ? p (5) q ? p 4 练习 2 2. 用真值表判断下面公式的类型 (1) p ? r ?? ( q ? p ) (2) (( p ? q ) ? ( ? q ?? p )) ? r (3) ( p ? q ) ? ( p ? r ) 5 练习 2 解答 (1) p ? r ?? ( q ? p ) 矛盾式 p q r q ? p ? ( q ? p ) p ? r ?? ( q ? p ) 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1