ENCABEZADO: PENSAMIENTO LOGICO Y MATEMATICO

Métodos para la validez de argumentos / solución

Lesly Valentina Garzón Garzón

Universidad nacional abierta y a distancia
(UNAD)

Notas de autor
Lesly valentina Garzón Garzón, Ingeniera Industrial, UNAD
La correspondencia relacionada con la solución de la guía deber dirigido a Calorina Castaño Gutiérrez
Contacto: garzon.lesly27@gmail.com
ENCABEZADO: PENSAMIENTO LOGICO Y MATEMATICO

Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

A. p: El virus del COVID 19 se dispersa en las aglomeraciones

q: Los contagios aumentan en las reuniones de personas
r: Una persona se puede contagiar al entrar en contacto con un sólo contagiado.
[(¬𝒑 ∧ 𝒓) ∧ (𝒑 → 𝒒)]

El virus del COVID 19 se dispersa en aglomeraciones y una persona se puede contagiar al entrar en
contacto con un solo contagio y el virus del COVID 19 se dispersa en las aglomeraciones entonces por
tanto los contagios aumentan en las reuniones de personas.
Tabla de verdad

[(~p^r)^(p→q)
filas p q r ~p (p→q) (~p^r) ]
1 v v v f v f f
2 v v f f v f f
3 v f v f f f f
4 v f f f f f f
5 f v v v v v v
6 f v f v v f f
7 f f v v v v v
8 f f f v v f f

La tabla de verdad es contingencia debido a que hay falsos y verdaderos.

ENCABEZADO: PENSAMIENTO LOGICO Y MATEMATICO

Identificación de la regla de inferencia lógica

A continuación, se encuentra el lenguaje simbólico de expresiones que representa algunas leyes de

inferencia.
A. Expresiones simbólicas
p
q
pq
Ley de adjunción (A)
Composiciones simples:2
Permisas:2
Conector lógico: (Y) (conjunción)
P: Hoy es lunes
q: tengo clase de ingles

hoy es lunes y tengo clase de ingles

p ˅q
p →r
q→r
r
ley de simplificación disyuntiva (SD)
composición simple:3
permisas:3
conector lógico: (O) (Disyunción)
(si…entonces) (condicional)
P: helado de mora
q: helado de maracuyá
r: repite de helado
helado de mora o helado de maracuyá el helado de mora implica que repite de helado o helado de maracuyá
implica que repita de helado
ENCABEZADO: PENSAMIENTO LOGICO Y MATEMATICO

p →−q
−q → r
p →r
Ley de silogismo hipotetico
Composición simple:3
Permisas:2
Conector lógico: (si…entonces) (condicional)
P: he ido al cine
−q: me he ido de compras
R: fui al cine
He ido al cine implica que me he ido de compras
Me he ido de compras por lo tanto fui al cine
Si He ido al cine entonces fui al cine
Aplicación de las reglas de la interferencia lógica

A continuación, encontrara los argumentos para el desarrollo del ejercicio 3

Si Alejandro realiza periódicamente ejercicio entonces Alejandro disminuye el nivel de estrés. Alejandro
disminuye el nivel de estrés entonces Alejandro elimina la carga estática acumulada
Conclusión: si Alejandro disminuye el nivel de estrés entonces Alejandro elimina la carga estática
acumulada.
Ley de inferencia aplicada: silogismo hipotético(SH)
Lenguaje simbólico:
P: Alejandro realiza periódicamente ejercicio
q: Alejandro disminuye el nivel de estrés
ENCABEZADO: PENSAMIENTO LOGICO Y MATEMATICO

r: Alejandro elimina la carga estática acumulada

p→q
p→r
q→r

Problemas de aplicación
A continuación, encontrara la expresión simbólica las premisas y la conclusión de un argumento para el
desarrollo del ejercicio 4
Expresión simbolica:
¿)]→-p
Premisas:
p→r
-r^q
Conclusión: -p
P: Ana prueba lógica matemática
r: estudia métodos matemáticos
-r: no estudia métodos matemáticos
q: reprueba las actividades
-q: Ana no aprueba lógica matemática.
Si Ana prueba lógica matemática entonces estudia métodos matemáticos y si no estudia métodos
matemáticos también reprueba las actividades por lo tanto Ana no aprueba lógica matemática
 
[(p→r)^(−r^q)]→−
p q r −p −r (p→r) (−r^q) p
1 v v v f f v f v
2 v v f f v f v v
3 v f v f f v f v
4 v f f f v f f v
5 f v r v f v f v
6 f v v v v v v v
7 f f f v f v f v
8 f f v v v v f v
ENCABEZADO: PENSAMIENTO LOGICO Y MATEMATICO

La tabla de verdad es tautología ya que todas son verdaderas

P4: simplificación
P5: modus ponendo ponens
El ejercicio que se realizo fue modus tollendo tollens (TT)