## [Construcción de Pruebas](/es/node/59910) Definición La construcción de pruebas es la actividad de ensamblar una secuencia de pasos inferenciales justificados que establece una fórmula objetivo a partir de premisas o axiomas dentro de un sistema formal especificado. ## Principio Principio Cada paso debe estar justificado por una regla de inferencia permitida, un lema probado anteriormente o un axioma; la secuencia debe mantener la corrección y avanzar hacia el objetivo respetando contexto y alcance. ## Demostración Demostración Construir una prueba por deducción natural que, partiendo de A→B y A, derive B escribiendo la suposición, aplicando modus ponens como paso justificado y eliminando suposiciones si hace falta para concluir la implicación. ## Aplicación incorrecta Aplicación incorrecta Ensamblar una cadena de afirmaciones sin justificación explícita, emplear razonamiento circular donde un paso presupone el objetivo, u omitir condiciones laterales necesarias conduce a pruebas inválidas o no reproducibles. ## Consecuencia Consecuencia Una prueba correctamente construida proporciona un certificado verificable de que la conclusión se sigue de las premisas; permite revisión por pares, reutilización de lemas y verificación mecanizada por asistentes de prueba. ## Inversión Inversión La inversión es la deconstrucción de la prueba o la construcción de un contraejemplo: en lugar de edificar una derivación, se exhibe una prueba en contrario o se desmontan pasos supuestos para mostrar que la conclusión no es derivable. ## Límite Límite La construcción de pruebas se refiere a derivaciones formales en un cálculo o sistema de prueba elegido; excluye la exposición informal carente de una estructura justificatoria paso a paso y las heurísticas creativas que no desembocan en derivaciones formales. ## Tensión semántica Tensión semántica Hay tensión entre pruebas elegantes y legibles por humanos y pruebas generadas mecánicamente que pueden ser largas o de bajo nivel; ambas establecen corrección pero difieren en valor explicativo y estructura. ## Síntesis Síntesis La construcción de pruebas es el proceso disciplinado de encadenar movimientos inferenciales justificados bajo las reglas del sistema para producir una derivación verificable que certifique una fórmula a partir de premisas o axiomas.