Construcción de Pruebas
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.