Así, la suposición de que B es falso nos lleva a una contradicción, por lo tanto, debe ser falsa.