计算机逻辑练习题,逻辑学综合练习题集答案

《逻辑学综合练习题集答案》由会员分享，可在线阅读，更多相关《逻辑学综合练习题集答案(9页珍藏版)》请在人人文库网上搜索。

1、综合练习题集,1、已知在B组甲、乙、丙三人的议论中，只有一句是假的： 甲：B组的所有人都是团员。 乙：B组的小芳是团员。 丙：B组的所有人都不是团员。 请判断B组的组长是否是团员，并写出推理过程,乙和丙的话是两个存在矛盾关系的性质命题，根据对当关系推理，这两个命题必是一真一假。根据题意，甲、乙、丙三人的话中只有一句是假的。所以推知甲所说的话是真的。所以B组组长是团员,2 、下列三句话恰有一句为真，问：全班46名学生有多少人会使用计算机。请写出推导过程。(1)有人会使用计算机(2)有人不会使用计算机(3)班长不会使用计算机,1)与(2)为下反对关系，必有一真，据此，则(3)假； (3)假，则“班。

2、长会使用计算机”(4)；由(4)可知(1)真，据此，则(2)假；由(2)假，可推出：全班46名学生都会使用计算机,已知A、B、C、D有下列关系:(1)如果A不真包含于B，那么C与D不全异。(2)只有B与D全异，B才不真包含于D。 (3)B与D相容，但C与D不相容。请推出A与B、B与D、A与D的外延关系，写出推导过程并将A、B、C、D的外延关关系表示在一个图式中,4)C与D不相容(即全异) (3)联言推理分解式 (5)A真包含于B (1)、(4)充分条件假言推理否定后件式 (6)B与D相容(即不全异) (3)联言推理分解式 (7)B真包含于D (2)、(6)必要条件假言推理否定前件式 (8)A真。

3、包含于D (5)、(7)传递性关系推理,已知：(1)A真包含于B； (2)有C不是B； (3)若C不真包含A，则C真包含于A。问：A与C具有什么外延关系？请写出推导过程，并将A、B、C三个概念在外延上可能有的关系用欧拉图表示出来,A真包含于B，则所有A是B； 由所有A是B，有C不是B，可得有C不是A(三段论)； 由有C不是A，可得并非C真包含于A(4)； 由此可知C真包含A(3)、(4)充分条件假言推理否定后件式,某部侦察连长接到一项紧急任务，要他在代号A、B、C、D、E五个侦察员中挑选两个深入敌区，人选的配备须注意一下几点：(1)如果B不去，则A也不能去(2)只有当C去时，B才能跟着去(3)。

4、若D去，则E也去(4)A去或D去问：侦察连长应挑选哪两个深入敌区？请写出推导过程,5)若设A去 (6)B去 (1)、(5)充分条件假言推理否定后件式 (7)C去 (2)、(6)必要条件假言推理肯定后件式 A、B、C同去，与题意不符。 (8)A不能去 归谬法 (9)D去 (4)、(8)选言推理否定肯定式 (10)E去 (3)、(9)充分条件假言推理肯定前件式 根据(9)、(10)可知：侦察连长应挑选D和E去深入敌区,已知：(1)若A和B参加自学考试，则C不参加自学考试 (2)只有B参加自学考试，D才参加自学考试 (3)A和C都参加了自学考试 问：B和D是否都参加了自学考试？请写出推导过程,4)A。

5、参加了自学考试 (3)联言推理分解式 (5)C参加了自学考试 (3)联言推理分解式 (6)并非A和B参加自学考试 (1)、(5)充分条件假言推理否定后件式 (7)A不参加自学考试，或者，B不参加自学考试 (6)负联言命题等值推理 (8)B不参加自学考试 (4)、(7)选言推理否定肯定式 (9)D不参加自学考试 (2)、(8)必要条件假言推理否定前件式 结论是：B和D不参加自学考试,已知：(1)只有破获03号案件，才能确认A、B、C三人都是罪犯(2)03号案件没有破获(3)如果A不是罪犯，则A的供词是真的，而A说B不是罪犯(4)如果B不是罪犯，则B的供词是真的，而B说自己与C是好朋友(5)现查明。

6、C根本不认识B,6)或A或B或 (1)、(2)必要条件假言推理否定前件式 C不是罪犯 (7)B是罪犯 (4)、(5)充分条件假言推理否定后件式 (8)A是罪犯 (3)、(7)充分条件假言推理否定后件式 (9)C不是罪犯 (6)、(7)、(8)选言推理否定肯定式,下列三句话恰有一句为真，问：全班46名学生有多少人会使用计算机。请写出推导过程。(1)有人会使用计算机(2)有人不会使用计算机(3)班长不会使用计算机,1)与(2)为下反对关系，不能同假，至少有一真，据此，则(3)假； (3)假，则“班长会使用计算机”(4)； 由(4)可知(1)真，据此，则(2)假； 由(2)假，可推出：全班46名学生都会使用计算机。