UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

LOGICA MATEMATICA
Tarea 2 - Métodos para probar la validez de argumentos

PRESENTADO POR:
STEVEN ANDRES QUESADA MARIN

GRUPO: 90004_294

PAULA ANDREA MOSQUERA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

“UNAD”

LOGICA MATEMATICA

05 DE OCTUBRE DE 2019
 Introducción

En el siguiente documento encontraremos lo que es la lógica

matemática, leyes de la inferencia lógica y razonamiento lógico para dar
validez a problemáticas propuestas
 Objetivos
Estudiar los conceptos básicos de proposiciones lógicas, Tablas de
verdad, Teoría de conjuntos que permitan verificar la verdad o falsedad
de proposiciones elementales.
 Determinar la verdad o falsedad de una proposición
 Utilizar los conceptos lógicos en la formación de proposiciones
compuestas
 Realizar operaciones entre conjuntos
 Ejercicio 1: Conceptualización de las reglas de inferencia.

mapa conceptual que encierre los conceptos básicos de la presente

unidad que son:

• Lógica Matemática

• Leyes de la inferencia lógica

• Razonamientos Lógicos

Conceptualización de las reglas de

inferencia

Se aplica a

A través Prueba formal

Encontramos 2 tipos Lógica Matemática de de validez

Los cuales son Los cuales son

Deductivo Leyes de Reglas de

Inductivo
Conjunto de inferencia remplazo
proposiciones

Conformadas por Conformadas por

Premisas Conclusión
 MP  DM
 MT  Conm
 SD  Dist
 SH  Doble negación
Inferencia Lógica  AD  TAU EM
 SIM  Aso
 Abs  IMP
 DD  Tran
 DC  Exp
 Conjunción
 Conclusiones

Reforzamos los conocimientos adquiridos en la anterior unidad al dar

uso de las formas básicas de las tablas de verdad, los principios de
lógica y los razonamientos lógicos para demostrar la validez o no validez
de las situaciones problémicas propuestas
 Bibliografía

 Villalpando, B. J. F. (2014). Matemáticas discretas:

aplicaciones y ejercicios: Larousse - Grupo Editorial Patria.
(pp. 29-38). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/read
er.action?ppg=40&docID=11013570&tm=1492519542738

Validez de un razonamiento

 Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo

Editorial Patria. (pp.163-166). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/read
er.action?ppg=178&docID=11046000&tm=1492520104862

Inferencia Lógica

 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 http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/read
er.action?ppg=59&docID=10732485&tm=1492520387992

Razonamiento deductivo e inductivo

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas

básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp.
80-84) Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/read
er.action?ppg=91&docID=11230887&tm=1496180214861