No se debe confundir al principio de identidad con la siguiente tautología de la lógica proposicional: