1

Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos

Laura Tatiana Vanegas León

Código: 1077225016

Pensamiento Lógico y Matemático 200611

Grupo 200611D_1391

Director-Tutor

Viviana Marcela Sanchez

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

2023
 2

Introducción

En el siguiente trabajo hablaremos de algunos conceptos correspondientes a los métodos

de validación de argumentos, en el cual se contextualizarán las reglas de inferencia modus

ponendo ponens, modus tollendo tollens y silogismos hipotético.

Se podrá observar el planteamiento y formulación de expresiones del lenguaje simbólico y

natural, haciendo análisis en la aplicación de conectores lógicos que se dan por determinado

situación que presenta en el trabajo a presentar.

Objetivos
 3

General

Adquirir conocimiento normas APA

Específicos

Diseñar portada con norma APA.

Diseñar contenido con norma APA

 4

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1

1. El Sistema del Servicio Social Unadista (SISSU) es una mirada de la UNAD para formar
profesionales humanistas y la UNAD está comprometida con los problemas sociales si y
solamente si la UNAD es la primera megauniversidad del país

. p∧ (p
p q r q ∧ q) ↔ r
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V

Ejercicio 2: Aplicación de las reglas de inferencia lógica

Espacio para solución del ejercicio 2

2. a. Lenguaje simbólico:

p v q, p → r, q → s

b. Ley de inferencia aplicada:

(1) pvq
(2) p→r
(3) q→s
(4) r v s DC (Dilema constructivo)
 5

c. Conclusión:

Patricia matricula epistemología de la Psicología o Patricia matricula fundamentos

de la escritura musical.

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

Espacio para solución del ejercicio 3

1. Expresión simbólica: [(p v q) ᴧ ~p ᴧ (q→r) ᴧs]→ (r ᴧ s)

P1: (p v q)

P2: (~p)

P3: (q→r)

P4: s

Conclusión: (r ᴧ s)

Demostración:

Premi Ley de Premisas

sa inferencia aplicada usadas
modus tollendo
P5: q ponens MTP 1,2
modus
P6: r ponendo ponens MPP 3,5
P7: r ᴧ
s conjunción C 4,6

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

 6

1. Expresión simbólica: [p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)

P1: p

P2: (p→∼r)

P3: (q v r)

Conclusión: q ᴧ p

Solución:

p: Laura es una estudiante ejemplar en su universidad

q: La universidad forma profesionales preparados para el mercado laboral

r: Un problema común para encontrar trabajo es la falta de experiencia

P1: Laura es una estudiante ejemplar en su universidad

P2: Si Laura es una estudiante ejemplar en su universidad entonces no es un

problema común para encontrar trabajo es la falta de experiencia

P3: La universidad forma profesionales preparados para el mercado laboral o un

problema común para encontrar trabajo es la falta de experiencia

Conclusión: La universidad forma profesionales preparados para el mercado

laboral y Laura es una estudiante ejemplar en su universidad

 7

∼ (p→ ( q p∧(p p∧(p [p∧(p→∼r) ∧

p q r
r ∼r) q v r) ᴧp →∼r) →∼r) ∧ (q v r) (q v r)]→ (q ᴧ p)
V V V F F V V F F V
V V F V V V V V V V
V F V F F V F F F V
V F F V V F F V F V
F V V F V V F F F V
F V F V V V F F F V
F F V F V V F F F V
F F F V V F F F F V
 8

Conclusiones

Mediante este trabajo he aprendido bastantes cosas que la verdad en el colegio no me

enseñó, el poder interpretar tablas mediante letras y relacionarlo con textos me gusto aunque se

me dificulto un poco, en algunos momentos me quedaba bloqueada pero lo solucionaba viendo los

videos recomendados por la universidad.

Referencias Bibliográficas

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El

Cid Editor. (pp. 40-49). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?

page=59

Castaño, C. & García, A., R. (2022). Aplicación de las reglas de inferencia lógica.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/52741

Castaño, C. & Martínez, C. (2022). Lógica e inferencia.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/52739