Pensamiento lógico y matemático

Tarea 1 Métodos para probar la validez de argumentos

Estudiante
Giovanny Alberto Vasco Ruiz
Grupo No. 200611_829

Tutor
José Fernández Ramírez Guaca

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Medellín, Antioquia
Septiembre 2023
 INTRODUCCION

En el actual trabajo presentaré la solución de los ejercicios de la letra A, los cuales tratan

sobre proposiciones simples, compuestas, tablas de verdad, leyes de inferencia y problemas

con estas leyes, todo esto presentado por medio de argumentos proposicionales

manualmente y con la utilización del simulador lógico UNAD.

 OBJETIVOS

General:

Identificar lo importante en la aplicación de la lógica proporcional para cada situación de la

vida, conociendo siempre su validez.

Específicos

 Conocer los conectores y su significado de cada proposición para poder darle

sentido a cada enunciado.

 Realizar las tablas de verdad utilizando los elementos de lógica proposicional para

poder aplicarlas en cada ejercicio.

 Identificar la conclusión sobre el resultado de la tabla de verdad ya sea Tautología,

Contradicción o Contingencia según la validez del argumento.

 DESARROLLO EJERCICIOS

Ejercicio 1: Proposiciones y tablas de verdad

B
p: Se aplica el trabajo inteligente para obtener una mayor eficiencia.
r: Se logra mayor productividad en los resultados
s: Se alcanza el éxito rápidamente.
(𝑝 →r) ∧ s
Si se aplica el trabajo inteligente para obtener una mayor eficiencia entonces se logra mayor
productividad en los resultados y se alcanza el éxito rápidamente.

TABLA DE VERDAD:
1.

p r s (p→r) (𝑝 →r) ∧ s

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

Este resultado es una CONTINGENCIA

Ejercicio 2: Aplicación de la lógica fundamental
B. “Los estudiantes hacen sus tareas’ y ‘los profesores explican claramente’, entonces
‘los estudiantes obtendrán buenas calificaciones’. Si y solo si, ‘los estudiantes hacen
sus tareas’ o ‘los profesores no explican claramente’, entonces ‘los estudiantes
obtendrán buenas calificaciones’.”

* Proposiciones simples:
Los estudiantes hacen sus tareas
Los profesores explican claramente
Los estudiantes obtendrán buenas calificaciones

 Conectores que intervienen:

Los estudiantes hacen sus tareas ∧ los profesores explican claramente → los estudiantes
obtendrán buenas calificaciones ↔ los estudiantes hacen sus tareas ˅ los profesores no
explican claramente → los estudiantes obtendrán buenas calificaciones.

p: Los estudiantes hacen sus tareas

q: Los profesores explican claramente
r: Los estudiantes obtendrán buenas calificaciones
 Lenguaje simbólico:

(p ∧ q) → (r ↔ p) ˅ (˜q → r)

P q r (p ∧ (r ↔ p) (˜q → r) (p ∧ q) → (r ↔ p) ˅ (˜q → r)
q)

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

Este resultado es una TAUTOLOGIA.

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

B. Expresión simbólica:
[(𝒑 → q) ∧ (𝒒 → ˜r)] → (𝒑→ ˜r )

Premisas:
P1: 𝒑 → q
P2: 𝒒 → ˜r
Conclusión: 𝒑 → ¬𝒓
Modus Tollendo Tollens (TT)
Ejercicio 4: Problemas de aplicación
B. Expresión simbólica:
[(p→q)˄(q˄˜r)˄(r˅˜q)] →(˜p˄˜r)

 Proposiciones simples:
P: Giovanny sueña en grande estudiando en la UNAD.
q: Giovanny estudia diario en las noches.
r: Giovanny estudia radiología
 Lenguaje Natural:
Giovanny sueña en grande estudiando en la UNAD entonces Giovanny estudia diario en las
noches de la misma manera Giovanny estudia diario en las noches, pero Giovanny no
estudia radiología, aunque Giovanny estudia radiología no estudia diario en las noches. Si
Giovanny no sueña en grande estudiando en la UNAD Giovanny no estudia radiología.

[(p→q) ˄(q˄˜r) ˄(r˅˜q)] →(˜p˄˜r)

p q r ⌐p ⌐q ⌐r (p→q) (q ˄ ˜r) (r˅⌐q) (˜p˄⌐r [(p→q) ∧(q∧~r) ∧(r∨~q)] →(~p∧~r)

)

V V V F F F V F V F V

V V F F F V V V F F V

V F V F V F F F V F V

V F F F V V F F V F V

F V V V F F V F V F V

F V F V F V V V F V V

F F V V V F V F V F V

F F F V V V V F V V V
 Demostración
P1: (p → q)
P2: (q ᴧ ~r) Premisas dadas
P3: (r ∨ ~q)
Premisas Ley aplicada Premisas usadas
P4: ~r SIMPLIFICACION P2
P5: ~q MODUS TOLLENDO PONNENS (MTP)
P3, P4

P6: ~p MODUS TOLLENDO TOLLENS (TT) P1, P5

P7: (~p ᴧ~r) LEY DE ADJUNCIÓN (LA) P4, P6