Este mdulo est concebido para ser un curso introductorio a la lgica Matemtica.

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 propsito de dicho conocimiento, Qu
problemas busc resolver el hombre mediante dicho conocimiento?

Qu preguntas vamos a contestar con el aprendizaje del curso? Qu competencias se

espera que el estudiante desarrolle? Por qu se consideran importantes estas
competencias? Por qu, siendo yo un estudiante de regencia de farmacia, o un estudiante
de ingeniera, o mejor an, un estudiante de psicologa, debo tomar el curso de Lgica
Matemtica?

Entre las competencias que debe tener un estudiante, se destaca su capacidad para construir
razonamientos deductivos e inductivos, tal que le permitan verificar hiptesis as como
generar nuevas, una competencia necesaria, no slo para la investigacin cientfica, sino
necesaria para actividades como proponer argumentos vlidos en un ensayo o para debatir
ideas.

Se considera que la lgica matemtica acompaada de las competencias lingsticas

permite plantear las mejores soluciones a diferentes tipos de problemas. Al punto que son
estas las competencias que son evaluadas por las universidades para determinar el acceso a
programas de educacin superior.

La competencia lgico matemtica no hace referencia exclusiva a operaciones con

representaciones simblicas y ejercicios complejos. En este curso aprenders cmo en
nuestro lenguaje cotidiano hacemos uso de los razonamientos lgicos deductivos e
inductivos, siguiendo unas estructuras bsicas que nos permiten afirmar que un
razonamiento es o no vlido.

Ya Platn en la Repblica nos propone que antes del estudio de una ciencia social como lo
es la filosofa era necesaria la preparacin de la mente por medio del estudio de la
geometra euclidiana, en la cual el discpulo deba entrenarse haciendo demostraciones de
teoremas de la geometra, demostraciones que slo se logran siguiendo una secuencia
lgica de pasos ordenados.

Hoy, muchas instituciones educativas exigen a sus aspirantes a cualquier programa

acadmico, presentar pruebas de admisin que pretenden evaluar las competencias tanto
lingsticas como lgico matemticas. Mediante estas evaluaciones, las instituciones
pretenden elegir entre todos sus aspirantes a aquellos que se encuentren ms preparados
para aprender. Esto es para comprender y elaborar razonamientos lgicos deductivos e
inductivos cada vez ms complejos.

En este sentido, el curso de lgica matemtica es importante para mejorar en la

interpretacin y construccin de razonamientos lgicos presentes tanto en el lenguaje
cotidiano como en todas las reas especializadas del conocimiento. Es por esta razn que el
curso de lgica matemtica es un curso transversal a todos los programas acadmicos
ofertados por la Universidad Nacional Abierta y a Distancia UNAD.

Para leer el mdulo slo se requieren conceptos de conjuntos numricos, y operaciones

algebraicas bsicas. La intencin es que el estudiante pueda aprender de este mdulo por s
mismo, en este sentido es un texto escrito ms para los estudiantes que para el tutor.

En el curso de lgica matemtica, analizaremos diferentes operaciones entre conjuntos,

tales como unin, interseccin y complemento, entre otras operaciones, que nos permitirn
aclarar la comprensin de las relaciones entre los conectivos lgicos usados en el lenguaje
natural, partiendo para ello una representacin grfica. A la par desarrollaremos las
destrezas lgico matemticas, dando solucin a problemas como ste:

De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la

UNAD, los amantes de la msica de Juanes son 15; mientras que los que nicamente
gustan de la msica de Shakira son 20, Cuntos son fanticos de los dos artistas si
10 de los encuestados, entre los 25 que no son fanticos de Shakira, afirman ser
fanticos de Juanes?

Comprenderemos cmo trabajan los conectivos lgicos que usamos diariamente en nuestro
leguaje y que pocas veces nos detenemos a analizar y a comprender, por ejemplo, nuestro
amigo Boole afirma que cuando gane su equipo predilecto har fiesta, pasado un tiempo
encontramos que Boole est festejando pero que su equipo predilecto ha perdido Se est
contradiciendo el amigo Boole con su afirmacin inicial?, En este curso
descubriremos y analizaremos el conectivo lgico que ha usado Boole en su afirmacin
para concluir sobre este asunto.

Identificar los conectivos lgicos, las premisas y comprender su funcin en el lenguaje nos
permitir disear frases cada vez ms complejas sin que se pierda la coherencia en la
construccin gramatical.

Posteriormente aprenderemos ha simplificar expresiones complejas o difciles de descifrar

usando el lenguaje natural, para ello utilizaremos leyes expresadas por medio de smbolos.
Por ejemplo, al expresar en lenguaje natural que es falso que Augustus no miente; por
medio de la lgica aprendemos a llegar a la simplificacin: Augustus miente mediante el
Algebra de Boole, utilizando leyes lgicas bsicas que nos permiten validar la
simplificacin hecha con un argumento ms all de la simple intuicin.

Gracias al desarrollo informtico un estudiante de psicologa, puede implementar una

funcin lgica en una hoja de clculo como Excel o Calc, que le permita obtener en
segundos el resultado de la aplicacin de un Test psicolgico a una poblacin. En general,
gracias a los principios bsicos de la lgica se pueden implementar funciones de aplicacin
en todas las reas del conocimiento.

Otra interesante aplicacin de la lgica es en el proceso de validar nuestros argumentos. Por

ejemplo, analicemos que puede concluirse de la siguiente afirmacin: si llueve hace fro,
posteriormente ocurre que hace fro, es entonces correcto concluir que llueve?, Por
medio de la lgica transformaremos esta expresin en lenguaje simblico que
posteriormente podremos analizar por medio de una tabla de verdad y descubrir en qu
caso especfico la conclusin puede no derivarse de sus premisas.

En el mundo de la argumentacin siempre estamos utilizando unos principios lgicos

bsicos que estudiaremos en el curso de Lgica Matemtica, permitindonos mejorar en la
construccin de argumentos ms fuertes, basados en los cimientos de la lgica.

Buen Viento y Buena mar.

Georffrey Acevedo Gonzlez.

Al profundizar en las proposiciones lgicas, aprenderemos a identificar y clasificar una proposicin

dentro de un enunciado cientfico; aprenderemos como una proposicin categrica universal da
tradicionalmente apertura al enunciado de una tesis.

Al estudiar los mtodos deductivo e inductivo, aprenderemos a reconocer nueve leyes de

inferencia. Nueve leyes que usamos en el lenguaje cotidiano.

Por ejemplo, cuando juan afirma "Si estudio aprendo" y ocurre que Juan no estudia, que
podemos esperar?.. que juan no aprenda. Muy bien, luego de estudiar estos captulos
aprenderemos a identificar este sencillo razonamiento como un Modus Tollendo Tollens.

Identificando y manejando las leyes de inferencia, podremos mejorar en la argumentacin, y muy

pronto estars proponiendo en tus debates una ley de inferencia lgica como instrumento para
validar tus argumentos. O porqu no, elaborando una tabla de verdad, en busca de una tautologa
que te otorgue la razn

Mediante las leyes de la lgica analizaremos expresiones que son frecuentemente usadas en
el lenguaje cotidiano y no son reconocidas o son mal empleadas.

Por ejemplo, Ana realiza la siguiente afirmacin:

"Es falso que yo estudio y trabajo" Que quiso decir Ana?

Estar afirmando Ana que No estudia y que Tampoco trabaja?, muy bien, en el curso
aprenders a usar una representacin simblica que te permitir acceder a una
simplificacin utilizando leyes bsicas.

Como podrs observar, siempre hemos utilizado estas formas de simplificacin pero sin ser
conscientes de hacerlo. En el curso de Lgica Matemtica aprenders ha reconocerlas y a
manejarlas, para que puedas usarlas en tus argumentos, en tus demostraciones, en tus
investigaciones y en tu vida cotidiana.

Es decir, deseamos que realices una apropiacin de estos conceptos, de manera que te sean
tiles para la vida.. desde ahora y por siempre.

En otras palabras, la identificacin de estos conceptos en tus otros cursos acadmicos y en

tu vida, es lo que le dar el sentido y pertinencia al curso de Lgica Matemtica.

Hemos escuchado hablar de la Lgica tradicional y de la lgica Moderna, profundicemos en las

diferencias:

La lgica tradicional hace referencia a la lgica de Aristteles, quien formula las teoras del
razonamiento y de la demostracin; es decir, que formula la teora de la deduccin. De esta
manera, Aristteles nos lleva a comprender la lgica formal como la base de la filosofa.

Por otro lado, la lgica moderna constituye la que denominamos Lgica Matemtica, esta lgica
fue estructurada, principalmente por Bertrand Russell y Alfred North. Es aqu cuando nos
referimos a una lgica que utiliza smbolos; de all que la denominemos lgica de lenguaje
formalizado o simblico.

Qu nos aportan los smbolos?

Al introducir un smbolo eliminamos la ambigedad que introduce el lenguaje natural, es decir, el
lenguaje ordinario o coloquial.

Esta simplificacin simblica permite que podamos lograr dos cosas:

1. Mayor complejidad
2. Mayor exactitud

Por ejemplo:
En lenguaje ordinario podramos expresar: "es falso que es mentira que Diego miente" lo que
equivale a afirmar que "Diego miente". Esta expresin algo compleja en el lenguaje natural es
transformada en el lenguaje simblico por la expresin:

no ( no (no p) en donde p = Diego dice la verdad y no p = Diego miente

Muy seguramente, del ejemplo anterior te han surgido dos grandes interrogantes:
1. Es sta una conclusin vlida?
2. Bajo qu principios o leyes podemos llegar a esta conclusin?
Muy bien, estas constituyen dos grandes preguntas a que busca dar respuesta la lgica y para
lograrlo la lgica debe estudiar:

1. Las estructuras que conforman el pensamiento

2. Las leyes y los principios que conducen a conclusiones vlidas

Cuan til es este conocimiento?

Si hoy es viernes, entonces, maana es Sbado. Maana no es Sbado, luego hoy no es viernes; es
un ejemplo de un razonamiento que hace parte de la vida diaria, es decir, que no se reduce al
mundo de la ciencia. De igual manera, aunque la lgica es un gran instrumento para las ciencias, lo
es tambin para nuestra propia vida.

Es as como llegamos a unas hermosas conclusiones de nuestro amigo Gustavo Escobar Valencia:

"La lgica nos permite descubrir las leyes y los principios que permiten conducirnos con rigor,
precisin y verdad hacia el conocimiento"

"La lgica nos proporciona normas para la investigacin cientfica y nos suministra un criterio de
verdad"

Es as como la lgica se ocupa de las formas del pensamiento y no del contenido de los
pensamientos ni de la gramtica que expresa los pensamientos, ni de los contenidos especficos de
esos pensamientos ni del sujeto que genera los pensamientos.

Hasta aqu, hemos visto que el curso de Lgica Matemtica tiene aplicaciones a programas
orientados hacia las ciencias humanas como la filosofa, la psicologa, la administracin...

Es importante mencionar aqu, que la aplicacin de los conceptos de Lgica Matemtica ha

cambiado nuestro mundo; hay otras aplicaciones como son los circuitos lgicos y por lo tanto a
todos los sistemas digitales.

La electrnica ha tomado los conceptos de la Lgica Matemtica para desarrollar las tecnologas
digitales que tanto nos gustan.

Mediante los circuitos lgicos se hacen representaciones grficas de las funciones Lgicas
Simplificadas. Es decir, un circuito lgico es un diagrama que facilita la comprensin del flujo de las
seales lgicas.
De esta manera, podremos encontrar un equivalente circuital a una expresin del lenguaje

natural.