UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA
EJERCICIO 4 UNIDAD 1
MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

TUTOR:
LUIS ENRIQUE LEIVA
ESTUDIANTE:
DANELLY MARTÍNEZ MAMBUSCAY
CÓDIGO: 1007520420
GRUPO: 90004_336

VALLE DEL GUAMUEZ – PUTUMAYO

8/10/2020
 Ejercicio 4: Problemas de aplicación.

[(p → q) ∧ (p ∨ r) ∧ (¬ r ∧ ¬q)] →q
 Expresión simbólica:
P1: p → q
P2: p ∨ r
P3: ¬ 𝑟 ∧ ¬𝑞
Conclusión: q
 Proposiciones simples:
p: Samuel se encuentra matriculado en el periodo 16-04.
q: Estudia Administración de Empresas en la UNAD.
r: Presenta puntualmente sus actividades de Lógica Matemática.
-r: No presenta puntualmente sus actividades de Lógica Matemática.
-q: No estudia Administración de Empresas en la UNAD.

 Lenguaje natural:

Samuel se encuentra matriculado en el periodo 16-04, entonces, estudia Administración

de Empresas en la UNAD. Samuel se encuentra matriculado en el periodo 16-04 o
presenta puntualmente sus actividades de Lógica Matemática. No presenta puntualmente
sus actividades de Lógica Matemática y no estudia Administración de Empresas en la
UNAD. Por lo tanto, estudia Administración de Empresas en la UNAD.

 Simulador lógico UNAD:

  Tabla de verdad manualmente:

- Proposiciones simples: - Premisas:

1. p 6. P1: (p →q)
2. q 7. P2: (p v r)
3. r 8. P3: (¬ 𝑟 ∧ ¬q)
4. –r
5. –q

- Relaciones entre premisas:

9. (p → q) ∧ (p ∨ r)
10. [(p → q) ∧ (p ∨ r) ∧ (¬ r ∧ ¬q)]
11. [(p → q) ∧ (p ∨ r) ∧ (¬ r ∧ ¬q)] →q

[(p → q) ∧ (p ∨ r) [(p → q) ∧ (p ∨ r)
p q r -r -q (p→q) (p ∨ r) (¬ r ∧ ¬q) (p → q) ∧ (p ∨ r) ∧ (¬ r ∧ ¬q)] ∧(¬ r ∧ ¬q)] →q

V V V F F V V F V F V
V V F V F V V F V F V
V F V F V F V F F F V
V F F V V F V V F F V
F V V F F V V F V F V
F V F V F V F F F F V
F F V F V V V F V F V
F F F V V V F V F F V

 Se clasifica como: Tautología.

 Demostración de la validez del argumento mediante las leyes de inferencia:

P1: p → q
P2: p ∨ r
P3: ¬ r ∧ ¬q
Conclusión: q

P4: ¬ r ……………… Por Simplificación (S) en P3.

P5: p ………………. Por Modus Tollendo Ponens (MTP) entre P2 y P4.
P6: q………………. Por Modus Ponendo Ponens (MPP) entre P1 Y P5