Seleccione la Escuela o Unidad Académica.

Tarea 1
Métodos para probar la validez de argumentos
Actividad Individual

Carlos Mario Ochoa

CC. 71273775
Grupo : 200611_202

Tutor: José Yesid Aguirre

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios - ECACEN

Catedra UNADISTA

Medellín, Diciembre 30 de 2020

 Actividad 1

Letra seleccionada “D”

p: El Tour de Francia contará para la 107a edición con 10 ciclistas

colombianos

q: Egan Bernal es el primer colombiano en ganar el Tour de Francia

r: A la etapa 21 del Tour de Francia 2020 casi todos los

colombianos lograron llegar a los campos Elíseos

(𝒑 → 𝒒) ∨ (𝒓 ↔ 𝒑)

Lenguaje Natural

Si el Tour de Francia contará para la 107a edición con 10 ciclistas colombianos entonces Egan
Bernal es el primer colombiano en ganar el Tour de Francia o a la etapa 21 del Tour de Francia
2020 casi todos los colombianos lograron llegar a los campos Elíseos si y solo si El Tour de Francia
contará para la 107a edición con 10 ciclistas colombianos
Tabla de Verdad Manual

p q r p q r p (p q) V (r p)
V V V V V V
V V F V F V
V F V F V V
V F F F F F
F V V V F V
F V F V V V
F F V V F V
F F F V V V

Según nuestra tabla es una contingencia

Tabla de verdad Simulador

Video : https://unadvirtualedu-
my.sharepoint.com/:v:/g/personal/cmochoas_unadvirtual_edu_co/EYipYtDSjHJHge
OPUmluvK4BklvL7MZ9RoKu-lFAiPqrTg?e=ULjOgq
 Actividad 2

Letra seleccionada “D”

pVq p: Carlos estudia en la UNAD

p r q: Juan es ingeniero electrónico
q s r: Marcos lee un libro
r V s s: Ana es estudiante

Silogismo disyuntivo
Carlos estudia en la UNAD o Juan es ingeniero electrónico
Si Carlos estudia en la UNAD, entonces, Marcos lee un libro
Si Juan es ingeniero electrónico, entonces, Ana es estudiante
Marcos lee un libro o Ana es estudiante

a a: Pedro trabaja construcción

b b: Juanita es profesora
a b
Regla de adjunción
Pedro trabaja construcción y Juanita es profesora
p q
q r
p r
Silogismo Hipotético

Si Carlos estudia en la UNAD, entonces, Juan es ingeniero electrónico

Si Juan es ingeniero electrónico, entonces, Marcos lee un libro
Si Carlos estudia en la UNAD, entonces, Marcos lee un libro

Actividad 3

Letra seleccionada “D”

Si Gabriela realiza ejercicio periódicamente entonces Gabriela mejora su salud mental.

Gabriela mejora su salud mental entonces Gabriela fortalece sus músculos.
p: Gabriela realiza ejercicio periódicamente
q: Gabriela mejora su salud mental
r: Gabriela fortalece sus músculos

a. Conclusión: Gabriela realiza ejercicio periódicamente por tanto Gabriela fortalece sus
músculos
b. Ley de inferencia aplicada: Silogismo Hipotético
c. Lenguaje simbólico: (p q)
(q r)

(p r)
 Actividad 4

Letra seleccionada “D”

Expresión simbólica: [(¬𝑝 ∧ 𝑟) ∧ (¬𝑝 → 𝑞) ∧ (𝑟 → ¬𝑞)] → (¬𝑟 ∧ ¬𝑝)}
P1: ¬𝑝 ∧ 𝑟
P2:¬𝑝 → 𝑞
P3: 𝑟 → ¬𝑞
Conclusión: ¬𝑟 ∧ ¬p

Proposiciones Simples

p: Pedro trabaja hoy

r: Raúl está en vacaciones

q: Juan esta enfermo

Lenguaje Natural

Pedro no trabaja hoy y Raúl está en vacaciones. Si Pedro no trabaja hoy entonces Juan
esta enfermo. Si Raúl está en vacaciones entonces juan no esta enfermo. Por lo tanto
Raúl no esta de vacaciones y pedro no trabaja hoy.
 Tabla de la verdad Manual

p q r (-p) (-q) (-r) (- p r) (- p q) (r -q) (-r -p) (-p r) (-p q) (-p q) (-p q) (r -q) [(-p q) (-p q) (r -q) ] (-r -q)
V V V F F F F V F F F F V
V V F F F V F V V F F F V
V F V F V F F V V F F F V
V F F F V V F V V V F F V
F V V V F F V V F F V F V
F V F V F V F V V F F F V
F F V V V F V F V F F F V
F F F V V V F F V V F F V

Tabla Automática
Demostración de la validez del argumento mediante las

Leyes de Inferencia

P1: ¬𝑝 ∧ 𝑟
P2:¬𝑝 → 𝑞
P3: 𝑟 → ¬𝑞
Conclusión: ¬𝑟 ∧ ¬p

P4: -p simplificación

P5: q MP 2.4
P6: -r MT 3.5
P7: ¬𝑟 ∧ ¬p Regla adjunción