1

Tarea 1 Métodos para probar la validez de argumentos

Pensamiento Lógico matemático

Grupo 200611_96

Mileidys Martínez Aparicio

Tutor: Alfonso Carlos Villadiego

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de ciencias de la salud - ECISA
Tecnología en Seguridad y Salud en el Trabajo
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

Objetivo general
Comprender los conceptos correspondientes de cada uno de los ejercicios para un
desarrollo optimo en cada etapa del curso.

Objetivos específicos
• Generar tablas de la verdad manuales y Simulador de Tablas de Verdad online
• Nombrar la ley de inferencia que representa cada expresión simbólica
• Definir las proposiciones simples y construir el lenguaje natural de cada ley de
Inferencia expresada en lenguaje simbólico.
• Identificar la conclusión del argumento.
 4

Ejercicio 1E- proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontraras las proposiciones simples para el desarrollo del ejercicio 1

p: La UNAD facilita espacios para cimentar conocimiento a través de áreas para la

comunicación.

q: La UNAD por medio de los CIPAS propende participación de los estudiantes.

r: La UNAD le apuesta a la estrategia de la Educación a distancia con los encuentros

pedagógicos CIPAS “Círculos de Interacción y Participación Académica y Social”

s: La UNAD utiliza este tipo de metodología para generar conocimiento donde el estudiante
puedan despejar dudas entre ellos asesorándose de un docente para una mayor integración
pedagógica.

(𝑝 → r) ⟷ (𝑞 ∨ s)

• Escribir la proposición compuesta propuesta en un lenguaje natural

Si la UNAD facilita espacios para cimentar conocimiento a través de áreas para la
comunicación, entonces la UNAD le apuesta a la estrategia de la Educación a distancia
con los encuentros pedagógicos CIPAS “Círculos de Interacción y Participación
Académica y Social”, si y solo si, a UNAD por medio de los CIPAS propende participación
de los estudiantes o la UNAD utiliza este tipo de metodología para generar conocimiento
donde el estudiante puedan despejar dudas entre ellos asesorándose de un docente para una
mayor integración pedagógica.
 5

• Generar una tabla manual a partir del lenguaje simbólico y determinar si el

resultado en una tautología, contingencia o contradicción

r s p → r q vs (p → r)↔(q v s)
v v v v v
v f v v v
f v f v f
f f f v f
v v v v v
v f v f f
f v f v f
f f f f v
v v v v v
v f v v v
f v v v v
f f v v v
v v v v v
v f v f f
f v v v v
f f v f f
CONTINGENCIA

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

 6

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

Descripción del ejercicio:

Proposiciones simples:

p: Tatiana es estudiante de la UNAD

q: Tatiana tiene clase de lunes a viernes
r: Tatiana es disciplinada

• Ley de inferencia de la expresión: Modus Ponendo Ponens (PP)

Lenguaje natural:
Si Tatiana es estudiante de la UNAD, entonces Tatiana no tiene clase de lunes a viernes.
Tatiana es estudiante de la UNAD. Por lo tanto, Tatiana no tiene clase de lunes a viernes

Proposiciones simples:

p: Tatiana es estudiante de la UNAD

q: Tatiana tiene clase de lunes a viernes

• Ley de inferencia de la expresión: Adjunción (A)

Lenguaje natural: Tatiana es estudiante de la UNAD, entonces Tatiana no tiene clase de
lunes a viernes. Tatiana es estudiante de la UNAD. Por lo tanto, Tatiana no tiene clase
de lunes a viernes

Proposiciones simples:

p: Tatiana es estudiante de la UNAD

r: Tatiana es disciplinada
 7

• Ley de inferencia de la expresión: Adjunción (A)

Lenguaje natural:
Si Tatiana no es estudiante de la UNAD, entonces Tatiana es disciplinada. Tatiana no es
estudiante de la UNAD. Por lo tanto, Tatiana es disciplinada.

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

Descripción del ejercicio:

E. Si los gatos pasan el 70% de sus vidas durmiendo, entonces los gatos el 30% de sus
vidas están despiertos. Si los gatos el 30% de sus vidas están despiertos, entonces los
gatos pasan 10.950 horas ronroneando.

Lenguaje simbólico:

p: Los gatos pasan el 70% de sus vidas durmiendo

q: Los gatos el 30% de sus vidas están despiertos
r: Los gatos pasan 10.950 horas ronroneando.

q→r
______
p→r

Ley de inferencia aplicada: Silogismo Hipotético (SH)

Conclusión: Si los gatos pasan el 70% de sus vidas durmiendo, entonces los gatos pasan
10.950 horas ronroneando.
 8

Ejercicio 4E- Problemas de aplicación

Descripción del ejercicio:

• Definir las preposiciones simples

𝑡: 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑒𝑙 𝑚𝑒𝑗𝑜𝑟 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒

𝑠: 𝐽𝑢𝑎𝑛 𝑎𝑦𝑢𝑑𝑎 𝑎 𝑠𝑢𝑠 𝑐𝑜𝑚𝑝𝑎ñ𝑒𝑟𝑜𝑠
𝑝: 𝐽𝑢𝑎𝑛 𝑎𝑠𝑖𝑠𝑡𝑒 𝑎 𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑐𝑙𝑎𝑠𝑒𝑠

Lenguaje natural: Si Juan es el mejor estudiante, entonces Juan ayuda a sus

compañeros. Si Juan ayuda a sus compañeros, entonces Juan asiste a todas las clases. Por
lo tanto, si Juan es el mejor estudiante, entonces Juan asiste a todas las clases.

• Generar una tabla manual a partir del lenguaje simbólico y determinar si el

resultado en una tautología, contingencia o contradicción

t s p t→s s→p (t → s ) ∧ (s → p ) (t → p) [(t → s ) ∧ (s → p )] → (t → p)

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

TAUTOLOGÍA
 9

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

Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: (t → s)
P2: (s → p)

t→s
s→p
_____
t→p
P3: t → p ……… Silogismo Hipotético (SH) entre P1 y P2.
 10

Conclusiones

La función que cumplen las tablas de verdad es muy importante para analizar y determinar
los valores de verdad en un enunciado, gracias a este método es más sencillo saber si una
fórmula es correcta y nos permite demostrar o contradecir 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 se puede aplicar en diferentes aspectos. Para demostrar y contradecir 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

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

19-39). México, D.F, Larousse - Grupo Editorial Patria.

• 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).

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

34-37). México, D.F, Larousse - Grupo Editorial Patria.

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

• http://logicaunad.com/jtruth/ - Simulador de Tablas de Verdad online