Según la lógica clásica, deberíamos decir que lógicamente hacemos buen uso del principio del tercero excluido.