命题“如果1+2=5,那么1+2=3.”是真命题吗?