Sin embargo, se nos da que B no es verdadero, entonces tenemos una contradicción.