1

Unidad 1 – Tarea 1

Aylin Camila Zúñiga Cuero – 1087205391

Pensamiento Lógico y Matemático 200611

Grupo 1625

Director-Tutor

Erick Alexander Valencia

Universidad Nacional Abierta y a Distancia - UNAD

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

2022
 2

Introducción

Los argumentos son pieza fundamental en nuestro diario vivir, por ello es importante

fundamentarlos bajo criterios sólidos, con el fin de mostrar su validez. Por ello en esta técnica

aprenderemos a formar proposiciones y mostrar su validez por medio de métodos matemáticos

que nos ayudaran a desarrollar dichas proposiciones. De igual forma pasa proposiciones

naturales a un leguaje simbólico y obtener la verdad aplicando las leyes de inferencia.

 3

Objetivos

General

Conocer los métodos de validez de argumento, para poder aplicarlas en nuestra vida

cotidiana.

Específicos

 Usar correctamente la tabla de verdad mediante proposiciones simples.

 Conocer las leyes de inferencia lógica.

 Convertir de lenguaje natural a un lenguaje simbólico.

 Mostrar la validez de argumentos aplicando las leyes de inferencia.

 4

Ejemplo ejercicio 1: Proposiciones y tablas de verdad

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

Letra escogida “D”

p: La UNAD es una universidad con acreditación institucional de alta calidad.

q: La UNAD rompe récords entre las instituciones de educación superior.

r: La UNAD demostró al país que tiene un modelo de educación riguroso que soporta la

formación virtual a distancia con altos estándares de calidad.

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

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

 Lenguaje simbólico
(𝑝 ∧ 𝑞) → r

 Lenguaje natural

La UNAD es una universidad con acreditación institucional de alta calidad,

incluso La UNAD rompe récords entre las instituciones de educación superior. Por

conclusión La UNAD demostró al país que tiene un modelo de educación riguroso que

soporta la formación virtual a distancia con altos estándares de calidad.

 5

 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.

⮚ Tabla manual

p q r (𝑝 ∧ 𝑞) (𝑝 ∧ 𝑞) → r

V V V V V

V V F V F

V F V F V

V F F F V

F V V F V

F V F F V

F F V F V

F F F F V

Se clasifica como: CONTINGENCIA

➢Generar la tabla de verdad a través del simulador Lógica UNAD

 6

Tabla con el simulador Lógica UNAD

➢ Realizar un vídeo donde explique la forma cómo fue desarrollado el ejercicio 1 seleccionado.
La realización del vídeo puede ser con la cámara del celular, cámara del pc u otra alternativa que
se le facilite. El estudiante debe aparecer en la grabación de frente y mostrar a la cámara su
documento de identificación, ocultando el número del mismo (en la imagen se debe ver
claramente el nombre y apellidos del estudiante).

Una vez leído este comentario quitar este recuadro del documento, es solo informativo.

Link Tutorial Video sustentación ScreenCast UNAD

https://youtu.be/GqxS78uL7s4
 7

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

Descripción del ejercicio:

A continuación, encuentra el lenguaje simbólico de expresiones que

representan algunas leyes de inferencia.

➢Nombrar la ley de inferencia que representa cada expresión

simbólica.

➢Definir las proposiciones simples

p: Aylin estudia todos los días

q: Aylin sale de paseo con sus amigas

 8

p: Camila realiza los trabajos de la UNAD a tiempo

r: Camila pierde materias

p: Víctor le gusta estudiar en la UNAD

r: Víctor ganara el semestre con honores

➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

Lenguaje natural

Aylin estudia todos los días o Aylin sale de paseo con sus amigas. Aylin no sale

de paseo con sus amigas. Por lo tanto, Aylin estudia todos los días.

Si Camila realiza los trabajos de la UNAD a tiempo entonces Camila no pierde

materias. Camila realiza los trabajos de la UNAD a tiempo. Por lo tanto, Camila

no pierde materias.
 9

Víctor estudia en la UNAD y Víctor ganara el semestre con honores. Por lo

tanto, Víctor le gusta estudiar en la UNAD.

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

El corazón es un órgano sumamente poderoso o el corazón tiene fuerza espiritual. El

corazón no tiene fuerza espiritual.

Lenguaje simbólico:

p: El corazón es un órgano sumamente poderoso

q: El corazón tiene fuerza espiritual

➢ Ley de inferencia aplicada: Modus Tolendo Ponens (MTP)

➢ Conclusión: El corazón es un órgano sumamente poderoso

 10

Ejercicio 4: Problemas de aplicación

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

Premisas

P1: (∼ 𝑝 →∼ 𝑞)

P2: (∼ 𝑞 →∼ 𝑟)

P3: ∼ 𝑝

Conclusión: (∼ 𝑞 ∧ ∼ 𝑟)

➢ Proposiciones simples:

p: Katlego estudia todos los días

q: Katlego es un buen estudiante

r: Katlego aprobara el semestre

Lenguaje natural

Si Katlego no estudia todos los días entonces Katlego no es un buen estudiante y si

Katlego no es un buen estudiante entonces Katlego no aprobara el semestre. Katlego no estudia

todos los días. por lo tanto, Katlego no es un buen estudiante y Katlego no aprobara el semestre.
 11

➢ Generar una tabla de verdad manualmente

1. (∼ 𝑝 →∼ 𝑞) 2. (∼ 𝑞 →∼ 𝑟) 3. (∼ 𝑞 ∧ ∼ 𝑟)

4. (∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) 5. [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝)]

6. [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝)] → (∼ 𝑞 ∧ ∼ 𝑟)

p q r ∼p ∼q ∼r 1 2 3 4 5 6

V V V F F F V V F V F V

V V F F F V V V F V F V

V F V F V F V F F F F V

V F F F V V V V V V F V

F V V V F F F V F F F V

F V F V F V F V F F F V

F F V V V F V F F F F V

F F F V V V V V V V V V

Se clasifica como: TAUTOLOGIA

 12

➢ Generar la tabla de verdad a través del simulador Lógica UNAD

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

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

Premisas

P1: (∼ 𝑝 →∼ 𝑞)

P2: (∼ 𝑞 →∼ 𝑟)

P3: ∼ 𝑝
 13

Conclusión: (∼ 𝑞 ∧ ∼ 𝑟)

P4: ∼ 𝑞 ………… Modus Ponendo Ponens entre P1 y P3

P5: ∼r………… Modus Ponendo Ponens entre P2 y P4

P6: ………… (∼ 𝑞 ∧ ∼ 𝑟) Adjunción entre P4 y P5

 14

Conclusiones del trabajo desarrollado

En conclusión, es importante tener claro que todo argumento necesita que se demuestre

su validez y por eso existen los métodos lógicos que nos garantizan obtener un resultado ya sea

falso o verdadero.
 15

Referencias Bibliográficas

Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad Peruana de

Ciencias Aplicadas (UPC) 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. (pp. 40-

49). El Cid Editor 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). Editorial

Tébar Flores 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).

Larousse - Grupo Editorial

Patria https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

Castaño, C. (2017). OVI. Proposiciones y tablas de verdad. Repositorio Institucional

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

Castaño, C. (2017). OVI. Leyes de inferencia. Repositorio Institucional

UNAD. http://hdl.handle.net/10596/13869
 16

Castaño, C. (2019). OVA. Leyes de la inferencia. Repositorio Institucional

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

Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). OVA. Lógica Proposicional. Repositorio

Institucional UNAD. https://repository.unad.edu.co/handle/10596/37836