已知“如果小明去上海，那么小红或者小青也去上海”为真，则下列命题中必然为真的是（）