Question

请懂逻辑的朋友帮我解释这道逻辑题，谢谢~

太阳风中的一部分带电粒子可以到达 M星表面，将足够的能量传递给 M星表面粒子，使后者脱离 M星表面，逃逸到 M星大气中。为了判定这些逃逸的粒子，科学家们通过三个实验获得了如下信息：
试验一：或者是 X粒子，或者是 Y粒子
试验二：或者不是 Y粒子，或者不是 Z粒子
试验三：如果不是 Z粒子，就不是 Y粒子
根据上述三个实验，以下哪项一定为真？
A. 这种粒子是 X粒子
B. 这种粒子是 Y粒子
C. 这种粒子是 Z粒子
D. 这种粒子不是 X粒子
E. 这种粒子不是 Z粒子
请写出具体分析过程，谢谢~可追加悬赏！

Answer 1

根据实验一，是x与y中的一种。如果是y，则实验二、三相矛盾，所以只能是x。

Answer 2

答案：一定为真的选项为A。
解析：已知三个实验结论，将其转化为三个前提，下面的选项分别讨论，把各个选项作为假设的前提将其代入到已知的三个实验结果中进行逻辑推导，看看哪些会出现必然性结论、哪些会出现或然性的结论、哪些会出现矛盾的结论，在此基础上选出必然为真的结论即可。
解：
1、 X∨ Y
2、 －Y∨－Z
3、－Z→－Y
假设A成立：
4A、X
5A、此时由于仅有X成立无法进行推理和证明，因此需要用反证法进行证明，假设令－X，若能导出矛盾，说明假设错误。
6A、Y 由1、5A选言命题否定肯定式可得
7A、－Z 由2、6A选言命题否定肯定式可得
8A、－Y 由3、7A蕴含命题肯定前件肯定后件式可得
9A、 Y∧－Y 矛盾，由6A、8A可得
所以，假设－X不成立，所以X。即选项A必然为真。

假设B成立：
4B 、Y
5B、 Z 由3、4B蕴含命题否定后件式可得
6B、－Y 由2、5B选言命题否定肯定式可得
7B、 Y∧－Y 矛盾， 由4B、6B可得
所以，若B成立则会导致矛盾，所以B不成立。
假设C成立：（以下理由部分略）
4C、 Z
5C、－Y 由 2、4C得
6C、Z∨－Z 由3、5C可得
所以不会导致矛盾的结果，C可能成立也可能不成立，不必然为真。

假设D成立：
4D、－X
5D、Y 由1、4D可得
6D、－Z 由2、5D可得
7D、－Y 由3、6D可得
8D、Y∧－Y 矛盾，由5D、7D可得
所以假设D矛盾不成立。

假设E成立：
4E、－Z
5E、－Y 由3、4E可得
6E、X 由1、5E可得
7E、－Z∨Z 由2、5E可得
所以，E可真可假，不具有必然性。
综上所述，答案A必然为真。

Answer 3

答案A和E吧。
1、实验一结果：x或y，答案C错。
2、不是Z，实验三结果，不是Y，答案B错，E对。
3、排除YZ，就只有X了，把X套进实验一和二都成立，那就是X。答案A对。