首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
自考
某百货公司被盗去一批贵重商品,经初步侦查,只有A、B、C、D、E五人有作案可能,现已确知下列情况: (1)如果A作案,则B和C也会参加; (2)只有D参加作案,B才会参加; (3)C说作案人是D或E; (4)C的话已被证明是假的。 以“A”表示“A作案”,
某百货公司被盗去一批贵重商品,经初步侦查,只有A、B、C、D、E五人有作案可能,现已确知下列情况: (1)如果A作案,则B和C也会参加; (2)只有D参加作案,B才会参加; (3)C说作案人是D或E; (4)C的话已被证明是假的。 以“A”表示“A作案”,
admin
2014-12-29
39
问题
某百货公司被盗去一批贵重商品,经初步侦查,只有A、B、C、D、E五人有作案可能,现已确知下列情况:
(1)如果A作案,则B和C也会参加;
(2)只有D参加作案,B才会参加;
(3)C说作案人是D或E;
(4)C的话已被证明是假的。
以“A”表示“A作案”,
表示“A没作案”,其他亦如此设定。请问:A、B、C、D、E五人中谁是作案人,谁不是作案人?写出推导过程
选项
答案
(1)A→B∧C 前提 (2)D←B 前提 (3)[*] 前提 (4)[*] 由(3)得,根据选言的否定为联言式。 (5)[*] 由(4)得,根据联言分解式。 (6)[*] 由(4)得,根据联言分解式。 (7)[*] 由(2)(5)得,根据必要条件假言推理否定前件式。 (8)B∧C为假, 由(7)得,B假则B∧C必假。 (9)[*] 由(1)(8)得,根据充分条件假言推理否定后件式。 (10)A∨B∨C∨D∨E 前提 (11)C 由(10)及(5)(6)(7)(9)得,根据选言推理否定肯定式。 因此,A、B、D、E都没作案,作案人是C。
解析
转载请注明原文地址:https://jikaoti.com/ti/xTLfFFFM
本试题收录于:
普通逻辑题库公共课分类
0
普通逻辑
公共课
相关试题推荐
由发展中国家组成的最打自由贸易区是()
世界各国都采取多种方式不同程度地对出口商品和服务进行控制,控制的类型主要有()
生态营销的概念最早提出于________。
抽样方法按照是否遵循随机原则可分为________、________。
试述政府补贴的常见的几种形式。
________是指国际企业将专利、商标、包装、产品配方、公司名称、技术诀窍和服务管理方法等无形资产特别许可给独立的企业或个人。
汇率波动产生的风险可能会给企业带来损失,因此,越来越多的外贸企业在签订外贸合同时强调以卖方国家的货币计价,提前进行_______。
简要回答从当代国际经济环境看我国走跨国经营道路的必然性。
请阅读以下材料:全党必须牢记,只有植根人民、造福人民,党才能始终立于不败之地;只有居安思危、勇于进取,党才能始终走在时代前列。新形势下,党面临的执政考验、改革开放考验、市场经济考验、外部环境考验是长期的、复杂的、严峻的,精神懈怠危险、能力不足危险、脱
用真值表来验证是否为有效式。
随机试题
A.两性霉素BB.卡泊芬净C.氟胞嘧啶D.阿糖胞苷E.酮康唑肝毒性大,对肝药酶影响大,药物相互作用多的抗真菌药是()。
甲、乙之间的下列哪些合同属于有效合同?(2013年卷三53题,多选)
某公司向银行借入短期借款10000元,支付银行贷款利息的方式同银行协商后的结果是,银行提出3种方案:(1)采用收款法付息,利息率为7%。(2)如采用贴现法付息,利息率为6%。(3)如采用加息法付息,利息率为5%。要求:如果你是该公司财务经理
下列名塔中,属于密檐式塔的是()。
维护文件的高度严密性是指()。
根据下列材料回答问题。以下为某省的人口失业率图表。其中,黑色部分表示该省全省人口各个年龄段的失业率,白色部分表示该省城镇人口各个年龄段的失业率。假设该省城镇人口占全省总人口的2/5,且二者各年龄段就业人口平均分配,则城镇与全省哪个年
结合材料回答问题:材料1习近平强调,中国发展正站在新的起点上。中国将深入贯彻创新、协调、绿色、开放、共享的发展理念,为“一带一路”注入强大动力,为世界发展带来新的机遇。中国愿在和平共处五项原则基础上,发展同所有“一带一路”建设参与国的友
下列关于Winmail邮件服务器的描述中,正确的是()。
•Readthearticleabouttheminutes.•Choosethebestwordtofillineachgap,fromA,BorC.•Foreachquestion(29-40),m
Therearethreeseparatesourcesofhazard【C1】______totheuseofnuclearreactiontosupplyuswithenergy.Firstly,theradioa
最新回复
(
0
)