MODULO LOGICA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍ

MÓDULO DE LÓGICA MATEMÁTICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

LÓGICA MATEMÁTICA

GE

INGENIERÍA

GICA CIENCIAS BÁSICAS

EORFFREY ACEVEDO GONZÁLEZ

Medellín, 2012

1

Lógica Matemática

2

Jaime Alberto Leal Afanador

Rector

Dr. Roberto de Jesús Salazar Ramos

Asesor de Rectoría

Vicerrector de Servicios a Aspirantes, Estudiantes y Egresados

Miguel Roberto Hernández Saavedra

Dra. Elizabeth Vidal Arizabaleta

Vicerrectora Académica y de Investigación

Dra. Gloria C. Herrera Sánchez

Vicerrectora de Medios y Mediaciones Pedagógicas

Dr. Edgar Guillermo Rodríguez

Vicerrector Vicerrectoría de Desarrollo Regional Comunitario

Gustavo Velásquez Quintana

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

Magdalena Pinzón de Posada

Vicerrectora de Relaciones Internacionales

Maribel Córdoba Guerrero

Secretaria General

Jorge Eliecer Rondón

Coordinador de Ciencias Básicas

MÓDULO

CURSO DE LÓGICA MATEMÁTICA

PRIMERA EDICIÓN (EN EDICIÓN)

© Copyrigth

Universidad Nacional Abierta y a Distancia

PROHIBIDA LA REPRODUCCIÓN Y PUBLICACIÓN PARCIAL O TOTAL DE ESTA OBRA SIN

AUTORIZACIÓN DE LA UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ISBN

2011

Centro Nacional de Medios para el Aprendizaje

Actualización, Edición y Diagramación Georffrey Acevedo González

Medellín, Colombia. 9 de Mayo de 2012 (material en prensa)

Este material tiene como referencia principal el módulo diseñado por la Dra. Nubia Janeth

Galindo Patiño en el año de 1999 para la Universidad Nacional Abierta y a Distancia UNAD.

Santa Fe de Bogotá. D.C. 1999

Portada: Aristóteles según un manuscrito de su Historia naturalis. Roma 1457 (Cod. vindob. phil. gr.).

Medellín Colombia Mayo de 2012.

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

MÓDULO DE LÓGICA MATEMÁTICA

3

¡OH dicha de entender,

mayor que la de imaginar o la

de sentir! Borges.

“La teoría del silogismo categórico

es uno de los más hermosos

descubrimientos del espíritu

humano” Leibniz

Introducción

Este módulo está concebido para ser un curso introductorio a la lógica Matemática.

Antes de dar inicio al desarrollo de los temas del curso, y en general, para toda

actividad, es importante que nos interroguemos por el origen y propósito de dicho

conocimiento, ¿Qué problemas buscó resolver el hombre mediante

...