PENSAMIENTO LOGICO MATEMATICO

Unidad 1 - Tarea 1

Métodos para probar la validez de argumentos

PRESENTADO POR
SANTIAGO PEREZ LOAIZA
COD 1053811979

N° DE GRUPO
842

PRESENTADO AL TUTOR(A)
LADY JOHANA ROSERO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA.

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
ECBTI
 INTRODUCCION.

EL siguiente documento expone los métodos para probar la validez de un argumento, esto basado
en su construcción lógica y las leyes de inferencia que aplica sobre cada ejercicio propuesto, así
mismo la construcción de las tablas de verdad y la estructura simbólica de las preposiciones y su
lenguaje natural.

OBJETIVOS.

➢ Comprender los principios básicos de la lógica matemática

➢ Permitir conocer esta disciplina como parte de la formación profesional

➢ Comprender la importancia de la lógica en el estudio de las matemáticas.

➢ Conocer las leyes lógicas para evaluar un argumento.

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

A. p: La emergencia sanitaria fue ampliada hasta 31 de mayo

q: Los restaurantes están autorizados para vender licor
r: Las medidas de bioseguridad deben ser modificadas

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

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

La emergencia sanitaria no fue ampliada hasta 31 de mayo y Las medidas de bioseguridad

deben ser modificadas y La emergencia sanitaria fue ampliada hasta 31 de mayo y Los
restaurantes están autorizados para vender licor.

❖ 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 ¬P R Q (¬P^R) (P^Q) [(¬𝒑∧𝒓)∧(𝒑∧𝒒)]

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

CONTRADICCION

❖ Generar la tabla de verdad a través del simulador Lógica UNAD, el

paso a paso para uso del simulador lo podrá encontrar en el anexo 2
(Simulador Lógica UNAD), ubicado en el entorno de aprendizaje en la
carpeta Guía de actividades y rúbrica de evaluación - Unidad 1- Tarea 1
- Métodos para probar la validez de argumentos.
Ejercicio 2: Identificación de las reglas de la inferencia lógica

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

representan algunas leyes de inferencia.
A. Expresión simbólica

pvq r∧𝑠 p→q

¬q p
________ ____________ ___________
p r q

❖ Nombrar la ley de inferencia que representa cada expresión simbólica

❖ Definir las proposiciones simples, tendrá la libertad de definirlas bajo

una descripción basada en un contexto

❖
❖ Construir el lenguaje natural de cada ley de Inferencia expresada en
lenguaje simbólico
pvq Modus Tolendo Ponens (MTP)

¬q p: El perro come galletas.

________ q: El perro come carne.
p ¬q: El perro no come carne.

Conclusión: p: El perro come galletas

Argumento: El perro come galletas o el perro come carne. El perro

no come carne por lo tanto el perro come galletas.
r∧𝑠 SIMPLIFICACION

r: Santiago toma jugo

_______ s: Juliana toma gaseosa
r
CONCLUSION: r: Santiago toma jugo

ARGUMENTO: Santiago toma jugo y juliana toma gaseosa. Juliana toma

gaseosa por lo tanto Santiago toma jugo

p→q MODENS PONENDO PONENS (PP)

p P: juan estudia en la universidad

________ q: juan aprende matemáticas
Q
CONCLUCION: juan aprende matemáticas.

ARGUMENTO: juan estudia en la Universidad entonces juan aprende matemáticas.

Juan estudia en la universidad por lo tanto juan aprende matemáticas.

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

A. El ejercicio regular fortalece el sistema inmunológico. El ejercicio libera

endorfinas que aumentan el estado de bienestar.
a. Conclusión: ____________________________________
b. Ley de inferencia aplicada: ________________________
c. Lenguaje simbólico: ______________________________
A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
 Identificar la conclusión del argumento.
 Nombrar la ley de inferencia que se aplica para probar el argumento.
 Definir la expresión del argumento en lenguaje simbólico o formal.

Lenguaje simbólico:

P: El ejercicio regular fortalece el sistema inmunológico

Q: El ejercicio libera endorfinas que aumentan el estado de bienestar

Conclusión:

P: El ejercicio regular fortalece el sistema inmunológico

Ley de inferencia:

P
Q
______________ modus ponendo ponens
p

Ejercicio 4: 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:
A. Expresión simbólica: [(𝒑∧𝒒) ∧ (𝒑→𝒓)]⟶(𝒓∧𝒒)

Premisas:
P1: 𝒑∧𝒒
P2: 𝒑→𝒓
Conclusión: 𝒓∧𝒒

P: Santiago va a la playa
Q: manuela va a la cuidad
R: hay vacaciones en el trabajo

Lenguaje natural:
 Santiago va a la playa y manuela va a la cuidad, entonces Santiago va a la
playa entonces hay vacaciones en el trabajo, entonces hay vacaciones en la
empresa y manuela va a la cuidad.

TABLAS DE VERDAD.

P Q R 𝒑∧𝒒 (𝒑→𝒓) (𝒑∧𝒒) ∧ (𝒑→𝒓) (𝒓∧𝒒) [(𝒑∧𝒒) ∧ (𝒑→𝒓)]⟶(𝒓∧𝒒)

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

El ejercicio es una tautología por lo tanto no es necesario aplicar leyes de

inferencia.
 Conclusiones.

El pensamiento lógico nos brinda una mirada mas amplia acerca de

los procesos que hacemos a diario.
Pude adquirir conocimiento en cuanto a la manera en que se pueden
evaluar el argumento, adicional la manera de expresarlos tanto de
manera simbólica como natural.
Aprendí el desarrollo de las tablas de verdad y su aplicación a los
argumentos.

BIBLIOGRAFIA

Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad Peruana
de Ciencias Aplicadas (UPC).
• 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.
• 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).
• 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. 19-39).
México, D.F, Larousse - Grupo Editorial Patria.
• Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39).
México, D.F, Larousse - Grupo Editorial Patria.