原创力文档- 70
- 0
- 约3.23万字
- 约 7页
- 2017-02-09 发布于河南
- 举报
命题逻辑习题及其参考答案
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.
{.5}
q∧r
P6.9组合式
?
答：AB作案，
至于C尚待侦查。
?
2．综合分析题（要求写出推导过程）：某班有学生61人，下面有三句话：
????① 该班有些学生会使用计算机。
????② 该班有些学生不会使用计算机。
????③ 该班班长不会使用计算机。
????已知上述三句话中，只有一句话是真
文档评论（0）