Pruebas de validez o invalidez

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.