is the statement x +2= 5 is tautology or self contradiction​