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