单选题  已知“如果小明去上海，那么小红或小青也去上海”为真，则以下选项必然为真的是_____。
A: 如果小红不去上海，那么小明不去上海
B: 如果小青不去上海，那么小明不去上海
C: 如果小红和小青都 不去，那么小明不去上海
D: 如果小明不去上海，那么小红和小青均不去上海

单选题  已知“如果小明去上海，那么小红或小青也去上海”为真，则以下选项必然为真的是_____。
A: 如果小红不去上海，那么小明不去上海
B: 如果小青不去上海，那么小明不去上海
C: 如果小红和小青都不去，那么小明不去上海
D: 如果小明不去上海，那么小红和小青均不去上海
参考答案: C
本题解释:正确答案是C考点关联词推导解析第一步：翻译题干。利用充分必要条件小明去上海⇒小红去上海∨小青去上海。第二步：逐一翻译选项并判断选项的正确A项：-小红去上海⇒-小明去上海，由第一步中“小明去上海⇒小红去上海∨小青去上海”利用逆否规则得到-(小红去上海∨小青去上海)⇒-小明去上海，利用摩根规则再得到(-小红去上海)∧(-小青去上海)⇒-小明去上海，因此A中说法不一定为真;B项：-小青去上海⇒-小明去上海，由对A项的分析得到“(-小红去上海)∧(-小青去上海)⇒-小明去上海”，因此B中说法不一定为真;C项：(-小红去上海)∧(-小青去上海)⇒-小明去上海，由对A项的分析得到“(-小红去上海)∧(-小青去上海)⇒-小明去上海”，因此C中说法一定为真;D项：-小明去上海⇒(-小红去上海)∧(-小青去上海)，“-小明去上海”是第一步中“小明去上海⇒小红去上海∨小青去上海”的否前件，无法推出绝对表达的结论，因此D中说法不一定为真。综上，故正确答案为C。标签充分必要条件选言命题摩根规则

本来源:91exam .org题所属考点-逻辑判断（关联词推导)