离散数学复习题(请参考课件)..docVIP

离散数学Part1_数理逻辑部分 将下列命题符号化。P48 豆沙包是由面粉和红小豆做成的. 苹果树和梨树都是落叶乔木. 王小红或李大明是物理组成员. 王小红或李大明中的一人是物理组成员. 由于交通阻塞，他迟到了. 如果交通不阻塞，他就不会迟到. 他没迟到，所以交通没阻塞. 除非交通阻塞，否则他不会迟到. 他迟到当且仅当交通阻塞. 分清复合命题与简单命题 分清相容或与排斥或 分清必要与充分条件及必要充分条件 答案：（1）是简单命题 （2）是合取式 （3）是析取式（相容或） （4）是析取式（排斥或） 请分别写出（1）—（4）的符号化形式 设p: 交通阻塞，q: 他迟到 p?q, （6）?p??q或q?p （7）?q??p 或p?q, （8）q?p或?p??q （9）p?q 或?p??q 可见（5）与（7），（6）与（8）相同（等值）?r??(q?p) ((p?q) ?(?q??p)) ?r (p?q) ?(p?r) 按层次写真值表，由最后一列判类型 答案：（1）为矛盾式，（2）为重言式，（3）为可满足式 例 用等值演算法判断下列公式的类型 P59 （1）q??(p?q) （2）(p?q)?(?q??p) （3）((p?q)?(p??q))?r) 解（1）q??(p?q) ? q??(?p?q) （蕴涵等值式）