在什么情况下，2+1≠3——使2+1≠3成立的假言命题