Вы находитесь на странице: 1из 5

Argumentos Vlidos

En matemticas y en lgica un argumento no es una disputa. Ms bien, es una secuencia


estructurada de afirmaciones que terminan en una conclusin. En esta seccin veremos cmo
determinar si un argumento es vlido; es decir, cundo la conclusin se deduce de los hechos que
la preceden.
Definicin
Un argumento es una secuencia de afirmaciones. Todas las afirmaciones excepto la ltima se
llamarn premisas, o suposiciones o hiptesis. La declaracin final se llamar conclusin.
Ejemplo
Lo siguiente representa a un argumento:
1. Si Juan estudia adecuadamente, entonces Juan pasa el curso de Discretas.
2. Juan est estudiando adecuadamente.
3. Juan pasar el curso de Discretas

Definicin
Diremos que un argumento es argumento vlido si para cualquier valor de las variables
proposicionales involucradas en las frmulas que hacen verdaderas las premisas, tambin la
conclusin es verdadera.
De la propia definicin de argumento vlido se puede deducir una metodologa para verificar la
validez de un argumento:
1. Identificar las premisas y la conclusin
2. Construir una tabla de verdad que incluya las premisas y la conclusin
3. Sealar de la tabla slo aquellos renglones que hacen que todas las premisas sean verdaderas.
Estos se llamarn renglones crticos
4. Verificar que para los renglones crticos, la conclusin es verdadera. En tal caso se tiene un
Argumento vlido
5. Detectar si existe un rengln crtico con conclusin falsa. En cuyo caso se dir Argumento
invlido.
Veamos ahora cmo se aplica el mtodo descrito para probar la validez o invalidez de un
argumento.
Ejemplo
Determine si el siguiente argumento es vlido:
1. p q

2. q p
3. p q
Solucin
Realizando la tabla de verdad obtenemos:

De la cual los renglones crticos son:

De donde observamos que de los dos renglones crticos (rengln que corresponde a una
combinacin de las variables proposicionales que hacen verdaderas todas las hiptesis) uno de
ellos tiene la conclusin falsa: concluimos que el argumento es invlido.
Ejemplo Determine si el siguiente argumento es vlido.
1. p q,
2. p r,
3. p q r
Solucin
Realizando la tabla de verdad obtenemos:

De la cual los renglones crticos son:

De donde observamos que el argumento es vlido


Ejemplo
Determine si el siguiente argumento es vlido.
1. p q r,
2. p q,
3. q p,
4. r
Solucin
Realizando la tabla de verdad obtenemos:

De la cual los renglones crticos son:

De donde observamos que el argumento es invlido.


El mtodo de verificacin de la validez de un argumento recien visto aunque correcto es uno poco
humano y que no se puede llevar a cabo cuando el total de hiptesis a usar no est delimitado. El
mtodo de deduccin natural consiste en construir un argumento para un conjunto de premisas y
una conclusin. Este mtodo se basa en el uso de reglas de inferencia que permiten ir obteniendo
frmulas verdaderas a partir de la suposicin de que sean verdaderas un nmero reducido de
frmulas. Una regla de inferencia es a su vez un argumento y su validez ser probada utilizando el
mtodo recien visto.
Verifiquemos la validez de las reglas de inferencia que utilizaremos en el mtodo de deduccin
natural.
Modus Pones
Modus Tollens
Silogismo Disjuntivo

Adicin Disjuntiva
Simplificacin Conjuntiva
Silogismo Hipottico
Adicin Conjuntiva
Regla de Contradiccin