Introduccin

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
caso
especfico
la

de
una
conclusin

tabla
puede

de
verdad
y
no
derivarse

descubrir
de
sus

en
qu
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

Buena

mar.

Georffrey Acevedo Gonzlez.

Inferencias Lgicas:
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.

APLICACIONES DE LA LOGICA
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.

CONTEXTUALIZACION HISTORICA
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

OTRAS APLICACIONES DEL CURSO

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.

Finalmente, revisaremos algunos conceptos de los conjuntos numricos. Como parte de la fase de
reconocimiento del curso, te invitamos a revisar detenidamente el siguiente grfico, el cual te
ayudar a recordar la relacin entre los diferentes conjuntos numricos:
Conjuntos numricos: