一个离散数学的推理问题

尝试给了解释发现不能推出来，不太明白为什么不可以推出，觉得是对的，可以给个解释吗😭谢谢