已知“如果小明去上海 那么小红或小青也去上海”为真 则以下选项必然为真的是( )。A.如果小红不去

已知“如果小明去上海，那么小红或小青也去上海”为真，则以下选项必然为真的是()。

A、如果小红不去上海，那么小明不去上海

B、如果小青不去上海，那么小明不去上海

C、如果小红和小青都不去，那么小明不去上海

D、如果小明不去上海，那么小红和小青均不去上海