36.【答案】A。摘选自《决胜MBA逻辑初级篇》
【解析】实验一是相容命题,选言肢必有一真,也可能同时为真;
转换为日常语言:“或者是x粒子,或者是y粒子”=“可能是x粒子,也可能是y粒子”;
实验二也是相容命题。转换为日常语言:“或者不是y粒子,或者不是z粒子”=“可能不是y粒子,也可能不是z粒子”;
“实验三:如果不是z粒子,就不是y粒子”是充分条件句。
观察得知三个实验中都有含y的选言肢,所以判断y的选言肢的真假是关键。用反证法,假设“是y粒子”,则由实验二“必有一真”得“不是z粒子”;再由实验三“充分条件否定后件则可否定前件”得“是z粒子”;矛盾。所以,“是y粒子”的假设不成立,即“不是y粒子”成立。
因“实验一:或者是x粒子,或者是y粒子”必有一真,既然已知“不是y粒子”,即“或者是y粒子”为假,则“或者是x粒子”一定为真,故答案为A。
E项“这种粒子不是z粒子”无法直接从题干推出,况且题干并未说明带电粒子只有一种,“是x粒子”并不排斥“是z粒子”,有可能两种粒子都有,所以“这种粒子不是z粒子”不能必然为真。
根据实验三,确实可以推出粒子是x。但是加入是x粒子,那么e答案,粒子不是z也是真命题。
比较奇怪的题目。
试验1: X \"/ Y (要么,要么 逻辑符号打不出来...)
试验2: ^Y \"/ ^Z
试验3: ^Z -> ^Y
由题意得:
符合推理格式的只有试验3,应该从试验3出手
^Z -> ^Y
由试验2得:(肯定前件式)
^Z -> ^(^Y) = ^Z -> Y,与^Z -> ^Y相矛盾
由试验1得:(否定肯定式)
^Y -> X
带入 ^Z -> ^Y 得 ^Z -> ^Y -> X
即 ^Z -> X = X V Y -> X , ^Y -> X = X V Z -> X
X必存在
所以选A