UNIDAD 1 - TAREA 1 - MÉTODOS PARA PROBAR LA VALIDEZ DE

ARGUMENTOS

Freiman Antonio Moreno Rivera

CODIGO:1052402273

PRESENTADO A

CARLOS EDUARDO OTERO MURILLO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

MUSICA

PENSAMIENTO LOGICO MATEMATICO

CEAD DUITAMA BOYACA

Introducción:

Eb este trabajo encontraremos la solución de cuatro ejercicios escogidos, en este caso es el

desarrollo de los que pertenecen a la letra B, se ha venido trabajando en conjunto y en

apoyo del foro de la universidad para aclaración de dudas y refuerzo de conocimientos,

aplicamos las tablas de verdad y reglas de inferencia para probar la validez de

argumentos dentro de los ejercicios, desarrollando así la guía de actividades

propuestas por la universidad (UNAD) del curso de pensamiento lógico

matemático en la primera fase.

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

B. p: En 2020 creció el desempleo

q: En 2020 hubo pandemia

r: Hubo inversión económica

(𝒑∧𝒒)∨(𝒑 ∧~𝒓)

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Escriba la proposición compuesta propuesta en lenguaje natural.

Respuesta: En 2020 creció el desempleo y en 2020 hubo pandemia o en el 2020 creció el

desempleo y no hubo inversión económica.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

(𝒑∧𝒒) (𝒑∧𝒒)∨(𝒑 ∧~𝒓)

p q r ~𝒓 (𝒑 ∧~𝒓)
V V V F V F V
V V F V V V V
V F V F F F F
V F F V F V V
F V V F F F F
F V F V F F F
F F V F F F F
F F F V F F F

Se clasifica como: Contingencia.

 Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para

uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado
 en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación -

Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos.

 Video expuesto en el foro: https://youtu.be/u8Ca2-kMnTw

Solución:

Ejercicio numero 2 B
A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas

leyes de inferencia

B. Expresión simbólica

r ∧¬s p→q p→q

q→r p

¬s p→r q

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

Simplificación (S)

Silogismo hipotético (SH)

Modus ponendo ponens (PP)

Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción

basada en un contexto, el que se solicita es un contexto académico.

p: Juan camina rápido

q: la universidad queda lejos de la casa de Juan.

r: Juan llega temprano.

s: Juan es puntual.

 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico.

Juan llega temprano y no es puntual por lo

tanto Juan no es puntual.

Si Juan camina rápido entonces la

universidad queda lejos de la casa de Juan.

Si la universidad queda lejos de la casa de

juan entonces juan es puntual. Por lo tanto

si juan camina rápido entonces juan llega

temprano
 Si juan camina rápido entonces la

universidad queda lejos de la casa de Juan.

Juan camina rápido. Por lo tanto, la

universidad queda lejos de la casa de Juan.

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

B. Vendo todo o recupero la cartera. Si vendo todo entonces cumplo la meta. Si

recupero la cartera entonces bonifico comisión en la empresa.

a. Conclusión: Por lo tanto, si cumplo la meta entonces bonifico comisión en la

empresa.

b. Ley de inferencia aplicada: Silogismo disyuntivo (DS)

c. Lenguaje simbólico:

silogismo disyuntivo (DS)

p: Vendo todo

q: recupero la cartera

r: cumplo la meta

s: bonifico comisión en la empresa

Ejercicio 4: Problemas de aplicación

B. Expresión simbólica: [(𝑝)∧(𝑝→𝑞)∧(𝑝→ 𝑟)]→𝑟

  Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto académico,

P: cuando estudio prendo

Q: cuando aprendo me siento feliz

R: soy muy aplicado

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural

Cuando estudio aprendo, si cuando estudio aprendo entonces cuando aprendo me siento

feliz, si cuando estudio aprendo entonces soy muy aplicado por lo tanto soy muy aplicado

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual). [(𝑝)∧(𝑝→𝑞)∧(𝑝→ 𝑟)]→𝑟

p q r (𝑝→𝑞) (𝑝→ 𝑟) [(𝑝)∧(𝑝→𝑞)∧(𝑝→ 𝑟)] [(𝑝)∧(𝑝→𝑞)∧(𝑝→ 𝑟)]→𝑟

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 V V F V
F V F V V F V
F F V V V F V
F F F V V F V
• Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para
uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD)

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Cuando estudio aprendo, si cuando estudio aprendo entonces cuando aprendo me siento

feliz, si cuando estudio aprendo entonces soy muy aplicado por lo tanto soy muy aplicado

[(𝑝)∧(𝑝→𝑞)∧(𝑝→ 𝑟)]→𝑟

P1: (p)
P2: (𝑝→𝑞) P4:1,2 aplicamos (PP): q
P3: (𝑝→ 𝑟) P5:1,3 aplicamos (PP) : r
_______________________________ Entre P1, P4Y P5 aplicamos simplificación llegando a
∴ 𝑟 ∴ 𝑟

Conclusiones:

*Mediante el desarrollo de los ejercicios podemos aprender a aplicar las tablas de

verdad y reglas de inferencia para probar la validez de argumentos.

*Mediante la interacción del foro podemos tener un acercamiento a los demás

compañeros y tutor.

*Al aplicar las reglas de inferencia podemos tener una respuesta a las

proposiciones y sacar conclusiones.

*Mediante todo el proceso podemos encontrar aplicaciones en la vida cotidiana,

como en las ventas y demás campos donde necesitemos de la ayuda de los

números en conjunto con las proposiciones.

*Con el desarrollo de los ejercicios pudimos utilizar el simulador lógica UNAD

que nos fue de gran ayuda y es una gran herramienta que nos entrega la

universidad.
Referencias Bibliográficas:

*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