单选题
4.太阳风中的一部分带电粒子可以到达M星表面，将足够的能力传递给M星表面粒子，使后者脱离M星表面，逃逸到M星大气中。为了判定这些逃逸的粒子，科学家们通过三个实验获得了如下信息：
实验一：或者是x粒子，或者是y粒子。
实验二：或者不是y粒子，或者不是z粒子。
实验三：如果不是z粒子，就不是y粒子。
根据以上三个实验，以下哪项一定为真?
实验一：或者是x粒子，或者是y粒子。
实验二：或者不是y粒子，或者不是z粒子。
实验三：如果不是z粒子，就不是y粒子。
根据以上三个实验，以下哪项一定为真?
【正确答案】
A
【答案解析】实验一是相容命题：“或者是x粒子，或者是y，粒子”。
表达式为：x粒子Vy粒子。
实验二是相容命题：“或者不是y粒子，或者不是z粒子”。
表达式为：不是y粒子∨不是z粒子。
实验三是充分条件假言命题：“如果不是z粒子，就不是y粒子”。
表达式为：不是z粒子→不是y粒子。
y粒子→z粒子。
假设“是y粒子”，则可由实验三得到一定也是z粒子。
由实验二，(不是y粒子∨不是z粒子)∧是y粒子
表达式为：x粒子Vy粒子。
实验二是相容命题：“或者不是y粒子，或者不是z粒子”。
表达式为：不是y粒子∨不是z粒子。
实验三是充分条件假言命题：“如果不是z粒子，就不是y粒子”。
表达式为：不是z粒子→不是y粒子。
y粒子→z粒子。假设“是y粒子”，则可由实验三得到一定也是z粒子。
由实验二，(不是y粒子∨不是z粒子)∧是y粒子