“如果1+1≠3，则2+2≠4”是真命题。