Una prueba es una forma de mostrar cómo un enunciado llamado ‘conclusión’ se sigue necesariamente de un conjunto de enunciados llamados ‘premisas’.
Dicho de otra manera, las pruebas muestran cómo la verdad de un conjunto de enunciados llamados ‘premisas’ es incompatible con la falsedad de otro enunciado llamado ‘conclusión’.
(v. derivación)
Referencias al texto: