问题
单项选择题
已知“如果小明去上海，那么小红或小青也去上海”为真，则以下选项必然为真的是( )。
A．如果小红不去上海，那么小明不去上海
B．如果小青不去上海，那么小明不去上海
C．如果小红和小青都不去，那么小明不去上海
D．如果小明不去上海，那么小红和小青均不去上海
答案
参考答案：C
解析： 本题属于结论型推理。根据题干，本题给定的推理为充分条件的假言命题推理，即若A则B或C。否定其后件，也要否定其前件，即若非B且非C，则非A。所以，“小红或小青也去上海”的否定形式即“小红和小青都不去”，那么结论是否定它的前件，即“小明不去上海”，所以本题选C。