1

Unidad 1 – Tarea 1 Normas APA

Lina Alejandra Bustos Amaya – Código 1021666070

Pensamiento Lógico y Matemático 200611

Grupo 2447

Director-Tutor

Frey Rodríguez

Universidad Nacional Abierta y a Distancia - UNAD

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

2022
 2

Introducción

En el presente trabajo se observa el desarrollo de cuatro actividades que refieren a temas

como la lógica proposicional, donde se elabora la validación de proposiciones, tablas de verdad y

aplicación de las leyes de inferencia para comprobar la validez de los argumentos propuestos,

poniendo a prueba la capacidad de conocimiento y razonamiento lógico para afrontar situaciones

similares en la vida cotidiana. El pensamiento lógico matemático construye al hombre al

relacionar experiencias ya vividas en la manipulación de objetos, ayuda a comprender conceptos

de razonamiento abstractos y de relaciones, este pensamiento va mucho más allá de las

matemáticas como tal y contribuye al desarrollo personal sano en la persona que lo implementa.
 3

Desarrollo de los 4 ejercicios de ejemplo.

Ejemplo ejercicio 1: Proposiciones y tablas de verdad

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

B. p: El Modelo Pedagógico Unadista está apoyado en el E-learning

q: El MPU tiene accionar de aprendizaje autónomo

r: El MPU tiene accionar de aprendizaje significativo

s: El PMU tiene accionar de aprendizaje colaborativo

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

p: El Modelo Pedagógico Unadista está apoyado en el E-learning

q: El MPU tiene accionar de aprendizaje autónomo.

r: El MPU tiene accionar de aprendizaje significativo

s: El PMU tiene accionar de aprendizaje colaborativo

➢ Lenguaje natural de la expresión formal:

El MPU tiene accionar de aprendizaje significativo y El MPU tiene accionar de

aprendizaje autónomo o El MPU tiene accionar de aprendizaje significativo y si El PMU

tiene accionar de aprendizaje colaborativo entonces El Modelo Pedagógico Unadista está

apoyado en el E-learning
 4

➢ 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 s rq r s (rq) v (r s) (rq) v (r s) p

v v v v v v v v

v v v f v f v v

v v f v f f f v

v v f f f f f v

v f v v f v v v

v f v f v f v v

v f f v f f f v

v f f f f f f v

f v v v v v v f

f v v f v f v f

f v f v f f f v

f v f f f f f v

f f v v f v v f

f f v f f f f v

f f F v f f f v

f f f f f f f v

Se clasifica como: CONTINGENCIA


 5

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


➢ Video explicativo

https://www.loom.com/share/e807a94fd4f547f799bd74d27dc1bcf6
 6

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

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

Silogismos Disyuntivo Silogismo hipotético Ley conjunción


➢Definir las proposiciones simples

p: Mariana estudia el material de pensamiento lógico
q: Juanito no practica sus ejercicios
r: Luciana debe realizar sus trabajos

➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

p: Mariana estudia el material de pensamiento lógico

q: Juanito no practica sus ejercicios

r: Luciana debe realizar sus trabajos

Lenguaje natural

Juanito no practica sus ejercicios.

Si Mariana estudia el material de pensamiento lógico entonces Luciana debe

realizar sus trabajos.

 7

Mariana estudia el material de pensamiento lógico y Juanito no practica sus

ejercicios.

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

Si Colombia tiene la bebida oficial del encuentro, entonces, el café es reconocido

por su calidez. Colombia tiene la bebida oficial del encuentro.

➢ Identificar la conclusión del argumento.

P: Colombia tiene la bebida oficial del encuentro

Q: el café es reconocido por su calidez

R: Colombia tiene la bebida oficial del encuentro

Si Colombia tiene la bebida oficial del encuentro, entonces el café es

reconocido por su calidez. Colombia tiene la bebida oficial del encuentro

En conclusión, si Colombia tiene la bebida oficial del encuentro entonces el

café es reconocido por su calidez.

La conclusión del argumento es: si Colombia tiene la bebida oficial del encuentro entonces el

café es reconocido por su calidez.

➢ Nombrar la ley de inferencia que se aplica para probar el argumento.

La ley es Silogismo hipotético

 8

➢ Definir la expresión del argumento en lenguaje simbólico o formal.

Ejercicio 4: Problemas de aplicación

Expresión simbólica: {(𝑟⟶𝑠) ∧𝑟)} ⟶ (𝑠∨𝑡)

Premisas:

P1: (𝑟⟶𝑠)

P2: 𝑟

Conclusión: (𝑠∨𝑡)

➢Definir las proposiciones simples

r: Hay que andar abrigado

s: En Bogotá todos los días llueve.

t: La recomendación es siempre llevar paraguas.

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

[ (𝒕 → 𝒔) ∧ (𝒔 → 𝒑 )] → (𝒕 → 𝒑)

p: Hay que andar abrigado

s: En Bogotá todos los días llueve.

t: La recomendación es siempre llevar paraguas

 9

Lenguaje natural

Si, La recomendación es siempre llevar paraguas entonces En Bogotá todos los días

llueve y si En Bogotá todos los días llueve entonces Hay que andar abrigado si La

recomendación es siempre llevar paraguas entonces Hay que andar abrigado

➢ Generar una tabla de verdad manualmente

p s t (𝑡𝑠) (𝑠𝑝) [(𝑡𝑠)∧(𝑠𝑝 )] (𝑡𝑝) [ (𝑡𝑠)∧(𝑠𝑝 )](𝑡 𝑝)

v v v v v v v v
v v f f v f f v
v f v v f f v v
v f f v f f f v
f v v v v v v v
f v f f v f v v
f f v v v v v v
f f f v v v v v

Se clasifica como: TAUTOLOGIA

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

 10


Conclusiones del trabajo desarrollado

 La función que cumplen las tablas de verdad es fundamental para analizar y

determinar los valores de verdad en un enunciado, gracias a ella es más sencillo

saber si una fórmula es correcta y permite que las personas demuestren o refuten

la validez de un argumento.

 Las leyes de inferencia desarrollan la capacidad que tiene una persona para

elaborar argumentos y analizarlos con un punto de vista crítico, también afirman

que hacer uso de la razón de igual forma se puede aplicar en diferentes aspectos

de la vida de esa persona.

 Para demostrar y refutar la validez de un argumento a través del método de

deducción, se deduce la conclusión de un argumento a partir de sus premisas.

 11

Referencias Bibliográficas

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://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

JTabla. (s. f.). Logicaunad.com. Recuperado 21 de septiembre de 2022, de

http://logicaunad.com/jtruth/

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

Larousse - Grupo Editorial Patria

https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30