Tarea 1 – Métodos para probar la validez de argumentos

Maria Jose Marin Bedoya

Universidad Nacional Abierta y a Distancia

200611_635: Pensamiento Lógico y Matemático

Edgar Castillo Gamba

Tutor

Septiembre 2021
 Introducción

El siguiente trabajo fue realizado con base a las lecturas propuestas en la unidad 1 –

métodos para probar la validez de argumentos, en este trabajo se realizan cuatro ejercicios en los

que se evidencian las tablas de verdad siendo comprobadas por el simulador virtual de este curso,

las reglas de la inferencia lógica y problemas de aplicación.

 Objetivos

• Comprender y realizar de manera adecuada las proposiciones y tablas de verdad

con su respectivo lenguaje natural.

• Reconocer cuales son las reglas de inferencia lógica.

Ejercicio 1: Proposiciones y tablas de verdad

B. p: El 30% de los estadounidenses quiere vacunarse contra el virus COVID-19.

q: La vacunación ha comenzado a frenarse en Estados Unidos por diferentes motivos.

r: En algunos estados dan premios a cambio de la vacunación.

[(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

Lenguaje natural:

Si el 30% de los estadounidenses quiere vacunarse contra el virus COVID-19 y la

vacunación ha comenzado a frenarse en Estados Unidos por diferentes motivos y si el 30% de los

estadounidenses quiere vacunarse contra el virus COVID-19 entonces en algunos estados dan

premios a cambio de la vacunación. Por lo tanto, en algunos estados dan premios a cambio de la

vacunación y la vacunación ha comenzado a frenarse en Estados Unidos por diferentes motivos.

Tabla manual

p q r p∧q p→r r∧q [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)]

⟶ (𝒓 ∧ 𝒒)

V V V V V V V

V V F V F F V

V F V F V F V

V F F F F F V

F V V F V V V

F V F F V F V

F F V F V F V

F F F F V F V
Se clasifica como: Tautología

Tabla de verdad

Enlace del video de la explicación: https://youtu.be/mfcqipFb1q4

Ejercicio 2: Identificación de las reglas de la inferencia lógica

B. Expresión simbólica

p∧q p∨q p→q

_______ ∼q ∼q

q _______ ________

Simplificacion p ∼p

Modus Tollendo Ponens Modus Tollendo Tollens

P: Maria Jose está en segundo semestre de psicología en la UNAD

Q: Maria Jose aprobó el curso de procesos cognoscitivos

p∧q

_______ Simplificacion

Lenguaje Natural:

Maria Jose esta en segundo semestre de psicología en la UNAD y Maria Jose aprobó el

curso de procesos cognoscitivos. Por lo tanto, Maria Jose aprobó el curso de procesos

cognoscitivos.
 p∨q

∼q Modus Tollendo Ponens

_______

Lenguaje Natural:

Si Maria Jose esta en segundo semestre de psicología en la UNAD o Maria Jose aprobó el

curso de procesos cognoscitivos. Maria Jose no aprobó el curso de procesos cognoscitivos, por lo

tanto, Maria Jose esta en segundo semestre de psicología en la UNAD.

p→q

∼q Modus Tollendo Tollens

________

∼p

Lenguaje Natural:

Si Maria Jose esta en segundo semestre de psicología en la UNAD, entonces Maria Jose

aprobó el curso de procesos cognoscitivos. Maria Jose no aprobó el curso de procesos

cognoscitivos, por lo tanto, Maria Jose no esta en segundo semestre de psicología en la UNAD.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica

B. Realizo 15 kilómetros en 45 minutos pedaleando tres veces por semana o corro 45

minutos diario. Si realizo 15 kilómetros en 45 minutos pedaleando tres veces por semana

entonces mi cuerpo mejora el sistema circulatorio. Si corro 45 minutos diario entonces mi cuerpo

mejora el sistema circulatorio.

a. Conclusión: mi cuerpo mejora el sistema circulatorio

b. Ley de inferencia aplicada: simplificación disyuntiva

c. Lenguaje simbólico:

pvq

p→r

q→r

________

p: Realizo 15 kilómetros en 45 minutos pedaleando tres veces por semana

q: corro 45 minutos diario

r: mi cuerpo mejora el sistema circulatorio

Ejercicio 4: Problemas de aplicación

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

Premisas: P1: p v q

P2: p →r

P3: ∼q

Conclusión: r

Proposiciones simples:

p: Tatiana logro entender el trabajo de matemáticas

q: Tatiana leyó todos los artículos para el trabajo

r: Tatiana gano una calificación media

Lenguaje natural:

Tatiana logro entender el trabajo de matemáticas o Tatiana leyó todos los artículos para el

trabajo y si Tatiana logro entender el trabajo de matemáticas entonces Tatiana gano una

calificación media. Tatiana no leyó todos los artículos para el trabajo. Por lo tanto, Tatiana gano

una calificación media.

Tabla manual:
 p q r ∼q pvq p→r [(p v q) ∧ (p →r) ∧

∼q ] → r

V V V F V V V

V V F F V F V

V F V V V V V

V F F V V F V

F V V F V V V

F V F F V V V

F F V V F V V

F F F V F V V

Se clasifica como: Tautología

Demostración de la validez del argumento mediante las leyes de inferencia:

Premisas: P1: p v q

P2: p →r

P3: ∼q

Conclusión: r

P4: ∼q aplicando p →r Modus Tollendo Tollens entre P2 y P3

∼q

______

∼q

P5: q aplicando p v q Silogismo Disyuntivo entre P1 y P3

∼q
 Conclusiones

Al realizar este trabajo logre comprender la importancia que tiene el pensamiento lógico

ya que nos permite fortalecer la capacidad para formar argumentos en la manera correcta

aplicando las reglas de la inferencia lógica y reconociendo cada una de ellas.

 Bibliografía

Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad Peruana de
Ciencias Aplicadas (UPC). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
AR: El Cid Editor. (pp. 40-49). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra

lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España: Editorial
Tébar Flores. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-

39). México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871

Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869

Castaño, C. (2019). Leyes de la inferencia. Recuperado

de: https://repository.unad.edu.co/handle/10596/31590