离散数学(第k7讲习题课1).pptVIP

19、习题21（2） 解：根据给定的条件有下述命题： P：现场无任何痕迹 Q：失窃时，小花在OK厅 R：失窃时，小英在OK厅 S：失窃时，小胖在附近 T：金刚是偷窃者 M：瘦子是偷窃者 则根据案情有如下命题公式： {P，Q∨R，S→ ～ P，Q→ T，～ S→ ～ R，R→ M} * P P S→～P P ～S T①②I ～S→～R P ～R T③④I Q∨R P Q T⑤⑥I Q→T P T T⑦⑧I 即 金刚是偷窃者 * * 计算机学院 计算机科学与工程学院 计算机学院 * 离散数学—习题课（一） DISCRETE MATHEMATICS 第一章 小结 命题 命题的解释 原子命题、复合命题 逻辑联结词（～、∨、∧、?、→、?） 命题公式 公式的解释 永真式(重言式) 永假式(矛盾式，不可满足公式) 可满足式