Si la derivación final es una contradicción, se concluye que la proposición original es falsa y el argumento es inválido.