PENSAMIENTO LOGICO MATEMATICO

Grupo 200611-36

UNIDAD 3 “CLASIFICACIÓN PROPOSICIONES CATEGORICAS Y METODOS PARA PROVAR

VALIDEZ DE ARGUMENTOS”

Elaborado por:
INGRI CONSTANZA RODRIGUEZ HERRERA
Curso: 200611 A-611

Tutora del Curso

CARLOS EDUARDO OTERO MURILLO

UNIVERSIDAD NACIONAL Y A DISTANCIA (UNAD)

PERIODO 1601
22 ABRIL AÑO 2019
Ejercicio 3: Problemas de aplicación

a. Expresión simbólica: [(¬𝑝 → ¬𝑟) ∧ (𝑠 → ¬𝑞) ∧ (𝑠 ∧ 𝑟)] → ¬𝑞

Premisas:
P1: (¬𝑝 → ¬𝑟)
P2: (𝑠 → ¬𝑞)
P3: (𝑠 ∧ 𝑟)

Conclusión ¬𝑞
Desarrollo:

Proposiciones simples:
P: Ingri estudia Administración en Salud.

q: No estudiara hasta estar segura.

r: El programa académico es Público

s: La malla curricular es extensa.

Razonamiento en lenguaje natural:

No es cierto que Ingri estudia administración en salud ENTONCES no estudiara hasta estar
segura ADEMAS la malla curricular es extensa POR TANTO no estudiara hasta estar
segura AUNQUE la malla curricular es extensa y el programa académico es publico
PROBABLEMENTE no estudiara hasta estar segura.

JTabla - Resultados

p q r s ((~p→~r)∧(s→~q)∧(s∧r))→~q
v v v v V
v v v f V
v v f v V
v v f f V
 p q r s ((~p→~r)∧(s→~q)∧(s∧r))→~q
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V

Resultado Tabla de la Verdad Tautología.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

Resultado: Tautología porque todas son Verdaderas.

Leyes de inferencia:

Mediante la aplicación de las leyes de inferencia, Modo Tollendo Tollens la validez

del argumento es Inválido.
[(¬𝑝 → ¬𝑟) ∧ (𝑠 → ¬𝑞) ∧ (𝑠 ∧ 𝑟)] → ¬𝑞
Premisas:
P1: (¬𝑝 → ¬𝑟)
P2: (𝑠 → ¬𝑞)
P3: (𝑠 ∧ 𝑟)
Conclusión ¬𝑞

P4:𝑠, aplicaremos simplificación P3.

P6: -p, aplicaremos Modo Tollendo Tollens P1.

P7: -q, aplicaremos Modos Tollendo Tollens P2.3