单选题
李明、王兵、马云三位股民对股票A和股票B分别作了如下预测：
李明：只有股票A不上涨，股票B才不上涨。
王兵：股票A和股票B至少有一个不上涨。
马云：股票A上涨当且仅当股票B上涨。
若三人的预测都为真，则以下哪项符合他们的预测？
【正确答案】
D
【答案解析】复合命题组合推理。方法一：将王冰转化成充分条件形式的等价命题（断闸），随即和李明组成二难推理，可证得非A，而后在马云（充要条件）的基础上使用否定前件式推理，可得非B。方法二：先将王兵拆成两个充分条件形式的等价命题（断闸），然后将马云（充要条件）拆成两个充分条件表达形式，而后即可凑成两组归谬法。方法二不需要使用李明的条件。