Entre dos proposiciones que juntas forman una contradicción no hay una tercera posibilidad, la tercera está excluida.