MATERIAL DE APOYO






Un argumento es una secuencia de afirmaciones.
Todas las afirmaciones excepto la última se llamarán premisas, o suposiciones o hipótesis. La declaración final se llamará conclusión. Diremos que un argumento es argumento válido si para cualquier valor de las variables proposicionales involucradas en las fórmulas que hacen verdaderas las premisas, también la conclusión es verdadera.
De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento:
1. Identificar las premisas y la conclusión
2. Construir una tabla de verdad que incluya las premisas y la conclusión
3. Señalar de la tabla sólo aquellos renglones que hacen que todas las premisas sean verdaderas. Estos se llamarán renglones críticos.
4. Verificar que para los renglones críticos, la conclusión es verdadera.En tal caso se tiene un Argumento válido ó
5. Detectar si existe un renglón crítico con conclusión falsa.En cuyo caso se dirá Argumento inválido.


Ejemplo
Determine si el siguiente argumento es válido:
1. p—>q
2. q—>p
3. pVq
Solución
Realizando la tabla de verdad obtenemos:









De la cual los renglones críticos son:





De donde observamos que de los dos renglones críticos (renglón que corresponde a una combinación de las variables proposicionales que hacen verdaderas todas las hipótesis) uno de ellos tiene la conclusión falsa: concluimos que el
argumento es inválido.

About these ads