Demostrar que el sistema de prueba es sólido requeriría demostrar que cualquier prueba posible es la prueba de un argumento válido. Si el uso de la regla &E en la última línea de una prueba nunca podr...Demostrar que el sistema de prueba es sólido requeriría demostrar que cualquier prueba posible es la prueba de un argumento válido. Si el uso de la regla &E en la última línea de una prueba nunca podría cambiar un argumento válido por uno no válido, entonces usar la regla muchas veces no podría hacer que un argumento sea inválido. Dado que una prueba es solo una serie de líneas, cada una justificada por una regla de inferencia, esto demostraría que todo argumento demostrable es válido.
