Lógica Matemática
Tarea 1: Métodos para probar la validez de argumentos
Leidy Melo Muñoz
Jose Rafael Bocachica González
Grupo: 90004_487
Universidad Nacional Abierta y a Distancia UNAD
Escuela De Ciencias Administrativas, Contables, Económicas y de Negocios - ECAEN
Administración de empresas
Bogotá
16 de octubre de 2020
Contenido
Introducción …………………..…………………………………………….…. 2
Objetivos………………………………………………………………….……. 3
Preposiciones y tablas de verdad .…………………………….………….……. 4
Enlace video explicativo ………………………………………………………. 4
Identificación de las reglas de la inferencia lógica……...………………….….. 5
Aplicación de las reglas de la inferencia lógica …………………………..…… 6
Problemas de aplicación …………………………………………...…………... 7
Conclusiones .….………………………………………………………………... 8
Referencias bibliográficas …………………………………………………….…. 9
Introducción
La lógica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y técnicas determina si un argumento es válido. Se utiliza para determinar si un
razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin
embargo, la lógica permite saber el significado correcto.
En esta unidad 1- Tarea 1 - Métodos para probar la validez de Argumentos,
aprenderemos las diferentes leyes y reglas de inferencia, proposiciones, tablas de verdad y
como aplicarlas.
Objetivos
Entender la importancia del uso de la matemática lógica, profundizando en los
puntos vistos en la guía y para ello el desarrollo de los ejercicios con tablas de verdad,
proposiciones lógicas y simples, lenguaje simbólico y natural, clasificación de las tablas de
verdad.
Este trabajo tiene como objetivo entender la importancia del uso de la matemática
lógica, identificar los conectores en cada una de las proposiciones y los distractores dentro
de la misma para poder identificar y plantear la formula correctamente, Aplicar las leyes de
la inferencia lógica para relacionarlas con casos de la vida cotidiana.
Proposiciones y tablas de verdad
Ejercicios punto B:
p: Diego es deportista de alto rendimiento
q: Diego debe entrenar todos los días
r: Diego llena una vez por semana su tabla de rendimiento físico
(p→q) ∨ (~r)
Composición lenguaje natural:
Si diego es deportista de alto rendimiento entonces diego debe entrenar todos los
días o diego no llenara su tabla de rendimiento una vez por semana
Tabla de verdad simulador lógica UNAD:
Tabla de verdad manual:
P Q R P Q (P Q) V ( r)
R
V V V V F V
V V F V F V
V F V F V V
V F F F V V
F V V V F V
F V F V F V
F F V V F V
F F F V F V
Enlace video YouTube:
https://www.youtube.com/watch?v=Nr5shd5NTek&ab_channel=lorenamelo
Identificación de las reglas de la inferencia lógica
Ejercicios punto B:
1) Expresión simbólica:
1era premisa: r → s
2da premisa: s → t
---------
Conclusión: r→t
Ley de inferencia de la expresión: Silogismo hipotético (SH)
Proposiciones simples
r: Santiago juega futbol
t: Ganara el partido
s: ganara la copa local
Lenguaje natural:
Si Santiago juega futbol, ganaran el partido y si Santiago juega, entonces
ganaran la copa local, por lo tanto, Santiago jugara.
2) Expresión simbólica:
1era premisa: pVq
2da premisa: ¬p
--------
Conclusión: q
Ley de inferencia de la expresión: Modus Tollendo Pones (MTP)
Proposiciones simples
P v q: Juan saldrá a bailar o va al cine
ﬧq: Juan no fue a bailar
q: por lo tanto, Juan fue al cine
Lenguaje natural:
Si juan sale a bailar con su novia entonces juan no podrá ir a cine con sus amigos.
Juan no fue a bailar con su novia, por lo tanto, Juan fue a cine con sus amigos.
3) Expresión simbólica:
1era premisa: P
2da premisa: Q
-------
Conclusión: p∧q
Ley de inferencia de la expresión: Regla Adjunción.
Proposiciones simples
p: El cielo está despejado
q: las nubes son blancas
p ʌ q: el cielo está despejado y las nubes son blancas
Lenguaje natural:
Ana salió a dar un paseo por el parque ya que se dio cuenta que el cielo está
despejado y las nubes están blancas, es un hermoso día para pasear.
aplicación de las reglas de la inferencia lógica
Ejercicios punto B:
B. Si como saludable entonces, disminuyo el riesgo de padecer enfermedades
cardiovasculares. Si disminuyo el riesgo de padecer enfermedades cardiovasculares
entonces, tendré una larga vida.
a. Conclusión: si como saludable entonces, tendré una larga vida
b. Ley de inferencia aplicada: Silogismo hipotético (SH)
c. Lenguaje simbólico:
1era premisa: p → q
2da premisa: q → r
---------
Conclusión: p→r
p: Si como saludable entonces, disminuyo el riesgo de padecer enfermedades
cardiovasculares.
q: Si disminuyo el riesgo de padecer enfermedades cardiovasculares entonces
r: tendré una larga vida.
Problemas de aplicación
Ejercicios punto B
Expresión simbólica: [(p → q) ∧ (p∨ r) ∧ (¬ r ∧ ¬q)] → q
P1: p → q
P2: p ∨ r
P3: ¬ r ∧ ¬ q
Conclusión: q
Proposiciones simples:
p: El verano es muy caliente
q: voy a la playa
r: Compro un computador nuevo
Lenguaje natural:
Si el verano es muy caliente entonces voy a la playa Y conocería el mar o compro
un computador nuevo y no tengo dinero para el computador y tampoco para ir a la playa
por lo tanto ahorrare dinero para ir a la playa
Tabla de verdad manual:
p q r p→q pvq ﬧrʌﬧq (p→q)ʌ(pvr)ʌ(ﬧrʌﬧq ((p→q)ʌ(pvr)ʌ( ﬧrʌ
) ﬧq))→q
v v v v v f f v
v v f v v f f v
v f v f v f F v
v f f f v v f v
f v v v v f f v
f v f v f f F v
f f v v v f F v
f f f v f v F v
Tabla de verdad simulador UNAD:
Conclusiones
Durante el desarrollo de la actividad pude obtener aprendizaje basados en las
temáticas de la lógica matemática ayudándome a comprender diferentes métodos y
procedimientos en tanto a tablas de la verdad, proposiciones y leyes de inferencia.
El pensamiento lógico es importante ya que por medio de esta nos ayuda a
comprender las cosas del mundo y a relacionarnos con ellas.
Referencias bibliográficas
• Proposiciones y tablas de verdad
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 12 - 31). Ediciones Elizcom, Madrid.
• Identificación de las reglas de la inferencia lógica
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. México, D.F,
(pp. 34-37). 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. (pp. 40-49). El Cid Editor.
• Aplicación de las reglas de la inferencia lógica
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.
Córdoba, AR. (pp. 40-49). El Cid Editor.
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. México, D.F.
(pp. 34-37). Larousse - Grupo Editorial Patria.
• Problemas de aplicación
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 78 - 99). Ediciones Elizcom, Madrid.
