Introducción
Uno de los aspectos mas importantes en el desarrollo de programas para computador es determinar cuando estos programas son correctos, es decir, determinar cuando un programa hace lo que debe hacer. En la actualidad, existen diferentes métodos de validación entre los que se pueden contar análisis informales, pruebas de escritorio y pruebas formales.
Aunque las pruebas de escritorio son muy comunes, estas solamente indican que el algoritmo hace lo correcto (o no) para un conjunto de datos denido, pero no para todas las posibles entradas que se pueden dar al algorithmo. Estas pruebas de escritorio se consideran una buena forma de validar un algoritmo pues los datos que se utilizan para probar los algoritmos son en unos casos extremos y en otros los usuales.
Modus ponendo ponens
Nos indica que un silogismo condicional, al afirmar el antecedente es valido afirmar el consecuente.
Modus tollendo tollens
Nos indica que cuando tenemos una proposicon condicional y se niega en consecuente, entonces es valido negar el antecedente.
La validez logica de los argumentos
En un argumento hay que distinguir las premisas y la conclusion. Las premisas son las proposiciones a partir de las cuales se obtiene un nuevo conocimiento que se llama conclusion. Lo importante desde el punto de vista de la logica es el nexo que une a las premisas con la conclusion. Se trata de un nexo necesario.
Cuando se capta un nexo necesario entre las premisas y la conclusion decimos entonces que el raciocinio es correcto lo cual se expresa tambien con el termino validez. La logica ha analizado diferentes tipos de argumentos y ha encontrado ciertos nexos necesarios entre premisas y conclusion. Estos nexos descritos por la logica se refieren a la pura forma independiente del contenido.
La validez logica de un argumento consiste, pues, en la necesidad que se da entre las premisas y la conclusion sin tener que recurrir al analisis de los contenidos.
Las demostraciones formales
El camino para demostrar la validez de un argumento consiste en confrontar su forma general con las leyes de implicacion y de equivalencia. Para eso se siguen varios pasos:
a)Se recomienda escribir cada proposicion es una linea diferente y enumerarlas en orden progresivo.
b)Traducir cada linea de acuerdo a los simbolos.
c)Analizar y colocar las abreviaturas de las leyes que ahi se encuentren.