单选题
科学家对最新发现的3星群进行了研究，发现该星群主要的构成是由T、X、Y、Z四种粒子构成的。为了判定该星群的真实情况，科学家对这三种粒子做了实验研究。
实验一：或者是X粒子，或者是Y粒子，但肯定不是T粒子。
实验二：或者不是Y粒子，或者不是Z粒子。
实验三：如果不是Z粒子，就不是Y粒子。
根据上述三个实验，以下哪项一定为真?
【正确答案】
A
【答案解析】[解析] 题干中该星群主要由T、X、Y、Z四种粒子构成。题干中这三个实验结果为：(1)(X粒子∨Y粒子)∧非T粒子；(2)非Y粒子∨非Z粒子；(3)非Z粒子→非Y粒子。
三个公式中，我们首先得出该粒子不会是T粒子。能够选择的粒子仅剩下X、Y、Z三种。
进一步分析我们发现条件(2)和条件(3)其两支相同，对公式(2)进行分解，则可得到：(4)Z粒子→非Y粒子。
条件(3)和(4)形成了二难推理，根据规则，可知非Y粒子必真，即这种粒子一定不是Y粒子。将这个结果带入公式(1)，则得出该粒子一定是X粒子，故选A。
[考点] 本题考核假言命题推理。