El principio del "tercero excluido", algo o es A o no es A, es la proposición que quiere rechazar la contradicción y al hacerlo incurre precisamente en contradicción: A debe ser +A ó -A, con lo cual ya queda introducido el tercer término, A, que no es ni + ni - y por lo mismo es +A y -A.