如果以上两个命题都为真，则以下哪个必定为真