entonces con Principio del tercero excluido, tenemos que