Prueba

Prueba. Dícese que una secuencia ordenada de fórmulas bien formadas [v] es una prueba formal de una fórmula S en un cálculo Z si y sólamente si es suficiente deducir S por medio de las reglas lógicas de transformación [v] de Z. [Véanse Prueba directa de validez, prueba de invalidez, prueba de consistencia de las premisas].