Unidad 1-Tarea 1-Metodos para probar la validez de argumentos

Leonela Castillo Bedon

Grupo: 200611_1184

Tutora:

Amelia Elizabeth Córdoba

Universidad Nacional Abierta y a Distancia (UNAD)

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

Ingeniería de Alimentos

Pensamiento Lógico y Matemático

Palmira

1
 Introducción

En el siguiente trabajo se da respuesta a los 4 ejercicios planteados de la letra A en la

guía de actividades, teniendo en cuenta como tema principal, los fundamentos de la lógica

proposicional y sus consecuentes como, la tabla de verdad (su respectivo diseño e interpretación)

y la identificación de las leyes de inferencia, que son importantes para el desarrollo de problemas

de aplicación y para reconocer en el lenguaje simbólico y natural de las premisas, que reglas de

inferencia lógica se cumplen.

Se trabajó un pensamiento lógico, basado en dar coherencia o sentido a las premisas

compuestas, tanto en su lenguaje simbólico como en el natural; así mismo poniendo en práctica

el reconocimiento de los conectores lógicos, los cuales sirven para conectar dos o más

proposiciones simples y para determinar el valor de verdad de las proposiciones compuestas.

Este trabajo se llevó acabo según los indicativos de la unidad 1 y hubo un

acompañamiento del tutor mediante el foro de discusión de la presente unidad.

2
 Objetivo General

Aplicar un pensamiento lógico y matemático para la solución de los problemas

planteados, obteniendo una buena comprensión de los conceptos fundamentales de la lógica

proposicional.

Objetivos Específicos:

 Diseñar tablas de verdad a partir de proposiciones compuestas en lenguaje

simbólico.

 Construir un lenguaje natural basado en el simbólico.

 Reconocer las leyes de inferencia de una expresión simbólica y natural, aplicando

correctamente sus reglas.

 Demostrar la validez de los argumentos por medio de las leyes de inferencia.

3
 Desarrollo De Los Ejercicios

Ejercicio 1: Proposiciones y tablas de verdad

Proposiciones simples letra A

p: El virus del COVID 19 se dispersa en las aglomeraciones

q: Los contagios aumentan en las reuniones de personas

r: Una persona se puede contagiar al entrar en contacto con un sólo contagiado.

-Lenguaje simbólico:

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

-Lenguaje natural:

El virus del COVID 19 no se dispersa en las aglomeraciones y una persona se puede

contagiar al entrar en contacto con un solo contagiado y si el virus del COVID 19 se dispersa en

las aglomeraciones entonces los contagios aumentan en las reuniones de personas.

𝒑 𝒒 𝒓
𝒑→𝒒 𝒒)
(¬𝒑∧𝒓)∧(𝒑→
¬𝒑
¬𝒑∧𝒓
V V V F F V F
V V F F F V F
V F V F F F F
V F F F F F F
F V V V V V V
F V F V F V F
F F V V V V V
F F F V F V F
Tabla 1: Tabla de verdad manual

4
 Ilustración 1: Tabla de verdad simulador UNAD

Link del video explicativo:

https://youtu.be/6MTZjI6E4YU

Nota: En el link se encuentra un video titulado “explicación del ejercicio 1 letra A” donde se

sustenta el desarrollo del primer ejercicio.

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

A-Expresión simbólica

_______

p∧q

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

-Proposiciones simples:

p: Cristina estudia contaduría pública en la UNAD.

q: Cristina aprobó el curso de cálculo

-lenguaje natural:

Cristina estudia contaduría pública en la UNAD. Cristina aprobó el curso de cálculo. Por

lo tanto, Cristina estudia contaduría pública en la UNAD y Cristina aprobó el curso de cálculo.

-Expresión simbólica:

p∨q

𝑝→r

q→r

_______

-Ley de inferencia de la expresión: Simplificación disyuntiva (SD)

-Proposiciones simples:

p: Cristina estudia contaduría pública en la UNAD.

q: Cristina entrego un trabajo de algebra lineal.

r: Cristina aprobó el curso de algebra lineal.

6
-Lenguaje natural:

Cristina estudia contaduría pública en la UNAD o Cristina entrego un trabajo de algebra

lineal. Si Cristina estudia contaduría pública en la UNAD entonces Cristina aprobó el curso de

algebra lineal. Si Cristina entrego un trabajo de algebra lineal entonces Cristina aprobó el curso

de algebra lineal. Por lo tanto, Cristina aprobó el curso de algebra lineal.

-Expresión simbólica:

𝑝→∼q

∼q →r

_______

𝑝→r

-Ley de inferencia: Silogismo hipotético (SH)

-Proposiciones simples:

p: Me despierto tarde.

q: Hago las tareas propuestas

r: Saco malas calificaciones.

-Lenguaje natural:

Si me despierto tarde entonces no hago las tareas propuestas. Si no hago las tareas

propuestas entonces saco malas calificaciones. Por lo tanto, si me despierto tarde entonces saco

malas calificaciones.

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

A.
Si Alejandro realiza periódicamente ejercicio entonces Alejandro disminuye el nivel de
estrés. Alejandro disminuye el nivel de estrés entonces Alejandro elimina la carga estática
acumulada.

-Conclusión:

Si Alejandro realiza ejercicio entonces Alejandro elimina la carga estática acumulada.

-Ley de inferencia aplicada:

Silogismo Hipotético (SH)

-Expresión simbólica

𝑝→𝑞

𝑞→𝑟

_______

𝑝→𝑟

Ejercicio 4: Problemas de aplicación

-Expresión simbólica:

[(p →r) ∧ (∼r ∧ q)]→ ∼p

-Premisas:

P1: p →r

P2: ∼r ∧ q

Conclusión: ∼p

8
-Proposiciones simples:

p: Andrés estudia psicología en la Univalle.

q: Andrés es el mejor estudiante de su clase.

r: Andrés lleva cursados 4 semestres.

-Lenguaje Natural:

Si Andrés estudia psicología en la Univalle entonces Andrés lleva cursados 4 semestres.

Andrés no lleva cursados 4 semestres y Andrés es el mejor estudiante de su clase. Por lo tanto,

Andrés no estudia psicología en la Univalle.

Tabla 2: Tabla de verdad manual

p q r ∼r ∼ p →r ∼r ∧ [(p →r) ∧ (∼r ∧ [(p →r) ∧ (∼r ∧ q)]→

∼p
p q q)]

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

9
 Ilustración 2: Tabla de verdad simulador UNAD

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

P1: p →r

P2: ∼r ∧ q

Conclusión: ∼p

P3: ∼ r Simplificación en p2

P4: p Simplificación en p2

P5: ∼p Modus Tollendo Tollens (TT) en p1 y p3

Conclusiones

10
 Este trabajo del curso pensamiento lógico y matemático, me ayudo a reforzar un tema

que ya había visto en el bachiller, las tablas de verdad, con su respectiva realización e

identificación; Pero también siento que profundice aún más este tema, ya que aprendí a

identificar las leyes de inferencia en una premisa compuesta, ya fuera en el lenguaje simbólico u

natural.

El haber realizado estos ejercicios me ayudo a reforzar mi razonamiento lógico, ya que de

varias formas tuve que analizar cada letra, símbolo y palabra que me mostraban, para así darle

ese sentido que necesitaba.

Por otro lado, tuve la oportunidad de ir haciendo el trabajo paso a paso y de tener el

acompañamiento de la tutora indicando errores cometidos, para así poder corregirlos. Claramente

siempre basándome en del material de apoyo y en las exigencias de la guía

11
 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

12