命题逻辑习题及参考答案.docVIP

1．某地发生一起刑事案件，经过公安人员的努力侦破，作案嫌疑人锁定在Ａ、B、Ｃ三人中，并且摸清了以下情况： ?① 只有０１号案件成功告破，才能确认Ａ、Ｂ、Ｃ三人都是作案人。 ?② 目前，０１号案件还是一起悬案。 ?③ 如果Ａ不是作案人，那么Ａ的供词是真的，但Ａ说自己与Ｂ都不是作案人。 ?④ 如果Ｂ不是作案人，那么Ｂ的供词也是真的，但Ｂ说自己与Ｃ是好朋友。 ?⑤ 现已查明Ｃ根本不认识Ｂ。 ?? 根据上述线索，问：Ａ、Ｂ、Ｃ三人中谁是作案人？ 解：令p：０１号案件成功告破；q、r、s分别表示A、B、C作案；t：B与Ｃ是 好朋友。据题意有： 1. {1} ┐p→┐（q∧r∧s） P 2. {2} ┐p P 3. {3} ┐q→（┐q∧┐r） P 4. {4} ┐r→t P 5. {5} ┐t P 6. {4.5} r T4.5否定后件 7. {1.2} ┐（q∧r∧s） T1.2肯定前件 8. {1.2} ┐q∨┐r∨┐s T7德摩根 9. {1.2.3} q T3.6否定后件 10. {1.2.3.4.5} q∧r P6.9组合式 ? 答：AB作案， 至于C尚待侦查。 ? 2．综合分析题（要求写出推导过程）：某班有学生61人，下面有三句话： ????① 该班有些学生会使用计算机。 ????② 该班有些学生不会使用计算机。 ????③ 该班班长不会使用计算机。 ???