Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

Expresión simbólica [(p → q) ᴧ (q → ∼r)] → (p → ∼r)

P1: (p → q)

P2: (q → ∼r)

Conclusión (p → ∼r)

Ley utilizada Silogismo hipotético (SH)

La tabla de verdad es una tautología

Ejercicio 4: Problemas de aplicación.

Expresión simbólica: [ (p → q) 𝖠 (q ᴧ ~r) 𝖠 (r ∨ ~q)]→(~p ᴧ ~r)

Demostración
P1: (p → q)
P2: (q ᴧ ~r) Premisas dadas
P3: (r ∨ ~q)
Premisas Ley aplicada Premisas usadas
P4: ~r SIMPLIFICACION (S) P2
P5: ~q MODUS TOLLENDO PONNENS P3, P5
(MTP)
P6: ~p MODUS PONENDO PONENS (MPP) P1,P5
P7: (~p ᴧ LEY DE ADJUNCIÓN (LA) P6, P4
~r)

Proposiciones simples:

p: Existe la planificación familiar

q: Existe acceso a la planificación familiar gratuita

r: Se reduce el número de embarazos.

Lenguaje natural:

Existe la planificación familiar ENTONCES existe acceso a la planificación familiar gratuita Y

existe acceso a la planificación familiar gratuita Y NO se reduce el número de embarazos Y se

reduce el número de embarazos O No existe acceso a la planificación familiar gratuita.

ENTONCES NO existe la planificación familiar y NO se reduce el número de embarazos.

Tabla de verdad simulador UNAD

La tabla de verdad es una tautología