1

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

Ana Silvia Delgado Pantoja

Pensamiento Lógico y Matemático 200611

Grupo 781

Director-Tutor

Daniel Giovanni Rodríguez Coral

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 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

Objetivos

 Identificar y aplicar las tablas de verdad y las leyes de inferencia para probar la validez de

un argumento.

 Reconocer la importancia del pensamiento lógico matemático.

 Identificar y aplicar proposiciones simples y compuestas.

 Reconocer los conectores lógicos.

 Aprender y aplicar el lenguaje simple y natural.

 4

Ejercicio 1: Proposiciones y tablas de verdad

B.

p: La educación en valores construye una mejor sociedad.

q: El respeto por la diferencia promueve la paz.

r: La empatía nos hace mejores personas.

Descripción del ejercicio: (p → q) ∧ r

Lenguaje natural de la preposición compuesta:

Si la educación en valores construye una mejor sociedad, entonces el respeto por la diferencia

promueve la paz y la empatía nos hace mejores personas.

Tabla manual: Es una contingencia.

P q r (p → q) (p → q) ∧ r

V V V V V

V V F V F

V F V F F

V F F F F

F V V V V

F V F V F

F F V V V

F F F V F
 5

Tabla simulador:

Link vídeo explicativo ejercicio 1: https://unadvirtualedu-

my.sharepoint.com/personal/asdelgadop_unadvirtual_edu_co/_layouts/15/stream.aspx?id=%2Fper

sonal%2Fasdelgadop%5Funadvirtual%5Fedu%5Fco%2FDocuments%2FRecording%2D2023111

3%5F205017%2Ewebm&nav=%7B%22defaultNavPanel%22%3A%7B%22pluginName%22%3

A%22MediaSettingsLayer%22%7D%7D&referrer=StreamWebApp%2EWeb&referrerScenario=

AddressBarCopied%2Eview

Ejercicio 2: Aplicación de la lógica fundamental

Descripción del ejercicio:

B. Si “estudio disciplinadamente”, entonces “aprobaré el curso”. Y si “el profesor explica bien”,

entonces “aprobaré el curso”. Por lo tanto, si “estudio disciplinadamente” o si “el profesor explica

bien”, entonces aprobaré el curso.

Definir cuáles son las premisas que intervienen en el argumento.

p: estudio disciplinadamente

q: aprobaré el curso

r: el profesor explica bien

 6

Identificar los conectores que intervienen en el argumento:

Los conectores son: conjunción (∧), disyunción (∨), condicional (→).

Construya el lenguaje simbólico correspondiente al argumento:

(p →q) ∧ (r→q) → (p ∨ r) →q

Simulador de tabla

Es una contingencia

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

Espacio para solución del ejercicio 3

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

P1: ~𝑝 → 𝑞

P2: 𝑞→∼𝑟

Conclusión: ~𝑝 → ∼ 𝑟

Ley utilizada: Silogismo hipotético (SH) Ejercicio 4:

 7

Problemas de aplicación.

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio 4:

B. Expresión simbólica: [(𝒑→𝒒)∧(~𝒒)∧(𝒑∧𝒓)]→(~𝒑∧𝒓)

Definición de proposiciones simples:

p: Alejandra es estudiante del curso PLM

q: Alejandra entrega puntualmente el desarrollo de la tarea 1, Métodos para probar la validez de

argumentos.

r: Obteniendo la valoración máxima para la actividad

Lenguaje natural:

Si Alejandra es estudiante del curso PLM, entonces entrega puntualmente el desarrollo de la tarea1

Métodos para probar la validez de argumentos, Y si Alejandra no entrega puntualmente el

desarrollo de la tarea 1 Métodos para probar la validez de argumentos. Y es estudiante del curso

PLM y Obtiene la valoración máxima para la actividad. Entonces no es estudiante del curso PLM

y Obteniendo la valoración máxima para la actividad.

DEMOSTRACIÓN

P1: p→q Premisas dadas

P2: ~q

P3: 𝑝∧𝑟

Premisas Ley aplicada Premisas usadas

P4: ~𝑝 MODUS P1, P2

 8

TOLLENS

P5: 𝑟 SIMPLICACIÓN P3

(S)

P6: ~𝒑∧𝒓 SILOGISMO P4, P5

La tabla de verdad es una tautología

9
 10

Conclusiones

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

Cid Editor. (pp. 40-49). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

UNAD MONITORIA NACIONAL (APOYO ACADEMICO)

Michel Yagari Monitora del curso de pensamiento lógico y matemático

https://www.youtube.com/@UNADMONITORIAPLM/videos