El objetivo de una prueba es demostrar que una deducción es válida, y lo hace juntando una serie de deducciones más simples que ya se sabe que son válidas. muestra la estructura lógica de una prueba d...El objetivo de una prueba es demostrar que una deducción es válida, y lo hace juntando una serie de deducciones más simples que ya se sabe que son válidas. muestra la estructura lógica de una prueba de manera que facilita decidir si cada paso en una prueba es válido o no. Después de que esté familiarizado con las pruebas en este entorno más simple, empleará los mismos principios para escribir pruebas en inglés.