LOGICA MATEMATICA

PROPOSICIONES SIMPLES Y COMPUESTAS, TABLAS DE VERDAD, METODOS

DE DEMOSTRACION, RAZONAMIENTOS LOGICOS, INFERENCIA LOGICA Y
ARGUMENTOS LOGICO

TRABAJO COLABORATIVO
STEPHANY MORALES

N° GRUPO 90004_ 191

TUTOR
LUIS ENRRIQUE LEIVA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

2020
 INTRODUCCION

En esta unidad se desarrolla las temáticas de las reglas de inferencia lógica, razonamiento
deductivo e inductivo, como también se usará para apoyo de este trabajo el uso del
simulador Lógica UNAD y la tabla de verdad.
Ejercicio 1. Mapa Conceptual

Ejercicio 2. Aplicación de las reglas de la inferencia lógica

d. Si el sistema de seguridad antivirus de la computadora detecta una amenaza,

entonces, se activará la alarma. La alarma no se activó.

Conclusión: El sistema de seguridad antivirus de la computadora no detectó una

amenaza.
Ley de inferencia aplicada: Modus Tollens (MT)
Lenguaje simbólico:
p→q
¬q
__________
¬ p
Premisa 1. p → q: Si el sistema de seguridad antivirus de la computadora detecta una
amenaza, entonces, se activará la alarma.
Premisa 2. ¬q: La alarma no se activó.
Conclusión: ¬ p: El sistema de seguridad antivirus de la computadora no detectó una
amenaza.
Ejercicio 3. Razonamiento Deductivo e Inductivo

d. Desde hace 15 días ha venido lloviendo diariamente en la ciudad de Ibagué. Gabriela

debe asistir hoy a una clase tipo B-Learning en la sede de la UNAD Ibagué, razón por la
cual Gabriela ha decidido llevar paraguas y chaqueta.
Argumentación: El razonamiento utilizado es el deductivo, ya que, a partir de hechos
conocidos como que ha llovido diariamente en la ciudad, por lo tanto, es lógico o se
deduce que se debe llevar paraguas y chaqueta para salir.

Ejercicio 4. Problemas de aplicación

d. Expresión simbólica
[(r⟶ ¬𝑞) ˄ (𝑝 ˅ s) ˄ (𝑞 ˄ 𝑝)]→ ¬ r
Premisas:
P1: r→¬ 𝑞
P2: 𝑝 ˅ s
P3: 𝑞 ˄ p
Conclusión: ¬ r
Desarrollo
Proposiciones simples
𝑝: Leo todos los materiales de estudio del curso
𝑞: Realizo todas las tareas del curso
r: Obtengo buenas calificaciones
s: Apruebo el curso

(r→¬ 𝑞) Obtengo buenas calificaciones entonces no realizo todas las tareas del curso.
(𝑝 ˅ s) Leo todos los materiales de estudio del curso o apruebo el curso.
(𝑞 ˄ p) Realizo todas las tareas del curso y leo todos los materiales de estudio del curso.
Conclusión: No obtengo buenas calificaciones.

Razonamiento en lenguaje natural

Si obtengo buenas calificaciones entonces no realizo todas las tareas del curso. Leo todos
los materiales de estudio del curso o apruebo el curso. Realizo todas las tareas del curso y
leo todos los materiales de estudio del curso. Sin embargo, no obtengo buenas
calificaciones.

Tabla de verdad con simulador Lógica UNAD

Tabla de verdad manualmente a partir del lenguaje simbólico

 Resultado de la tabla de verdad: Tautología

Leyes de inferencia (Prueba formal de validez)

Premisas
P1: r→¬ 𝑞
P2: 𝑝 ˅ s
P3: 𝑞 ˄ p
¬ r

Demostración

1- r→¬ 𝑞 Premisa
2- 𝑝 ˅ s Premisa
3- 𝑞 ˄ p Premisa
4-¬ r ˅¬ 𝑞 Implicación material (IMP) de 1
5- ¬ r (Simplificación de 4)

CONCLUSION
En este trabajo adquirimos algunos conocimientos sobre las reglas de inferencia lógica y
razonamiento deductivos e inductivos, llegando al desarrollo de cada uno de los objetivos
propuestos en este trabajo.

Podemos concluir que para resolver las temáticas correspondientes sobre los tipos de
razonamiento lo podemos demostrar en la tabla de verdad.
 REFERENCIAS BIBLIOGRAFICAS

 PEREZ, A.R. (2013). UNA INTRODUCCION A LAS MATEMATICAS

DISCRETAS Y TEORIA DE GRAFOS. CORDOBA, AR: EL CID EDITOR. (PP.
40-49)
 GUTIERREZ, J. (2016). TUTORIA UNIDAD 2 CURSO 90004. (ARCHIVO DE
VIDEO).
 ARREDONDO, C.J. & ESCOBAR, V.G. (2015). LOGICA TEMAS BASICOS.
DISTRITO FEDERAL, MEXICO: GRUPO EDITORAL PATRIA. (PP. 80-84).
 CASTAÑO, C. (2016). RAZONAMIENTO LOGICOS. (ARCHIVO VIDEO)