UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LOGICA MATEMATICA

PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

PRESENTADO POR:
ERIKA ALEXANDRA BARRAGAN
CODIGO: 30.388.332

TUTORA:
BIBIANA ROSERO CARVAJAL

90004_652

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA ADMINISTRACION DE EMPRESAS
CEAD LA DORADA
NOVIEMBRE 10 2016
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
2

Tarea 1: Aplicacin de las reglas de inferencia.

Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipottico

MODUS PONENDO PONENS: Esta ley de inferencia nos muestra que si tenemos dos
proposiciones unidas mediante un condicional, si afirmamos el antecedente, concluimos el
consecuente.
De lo anterior
1. P Q
2. P
3. Q

Ejemplo: Si Sandra estudia las leyes de inferencia entonces gana el curso de lgica.
Sandra estudia las leyes de inferencia
Conclusin:

Sandra gana el curso de lgica

En forma simblica

P: Sandra estudia las leyes de inferencia

Q: Sandra gana el curso de lgica

1. P Q
2. P
3. Q

MODUS TOLLENDO TOLLENS:

Con esta ley se puede demostrar que si tenemos dos proposiciones unidas mediante un
condicional, al negar el consecuente, concluimos la negacin del antecedente. Esto es :
1. P Q

2. Q
3. p

Ejemplo:
Si Sandra asiste a clases de Qumica, entonces hace experimentos en el laboratorio
de la UNAD.
Sandra no hace experimentos en el laboratorio de la UNAD
Conclusin:

Sandra no asiste a clases de Qumica

En forma Simblica:
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
3

P: Sandra asiste a clases de Qumica

Q: Sandra hace experimento en el laboratorio de la UNAD
P Q
Q
p

SILOGISMO HIPOTETICO

El silogismo hipottico tiene mucha relacin con la ley de transitivad (si AB, B C
Entonces AC)

1. P Q
2. Q R
3. P R

En el siguiente enunciado se demuestra el silogismo hipottico:

Si el gobierno invierte en el campo, entonces abundan los cultivos agrcolas y si

abundan los cultivos agrcolas mejora la economa del pas.
En forma simblica:

P: El gobierno invierte en el campo

Q: Abundan los cultivos agrcolas
R: Mejora la economa del pas

P Q
Q R
P R