LA LOGICA
Como termino, logica se deri-
LGICA APLICADA A LA INFORMTICA
MOD
Ludwing Wittgenstein, filo-
va del griego (logike- sofo austriaco, decia que
logikos), que es logos y signifi-
ca razon.
Como ciencia, es la encarga-
da de estudiar el pensamiento
mediante formas mentales.
Aristoteles es considerado el
fundador de la logica como
un medio de conocimiento
o propedeutica, herramienta
basica para todas las ciencias.
Segun Immanuel Kant la logi-
ca es una ciencia formal, o sea,
es la ciencia que se ocupa de
las formas del pensamiento
pero prescindiendo de todo
contenido.
AHORA BIEN, ENSENAR LOGICA NO TIENE QUE
SER UNA FUNCION COMPLEJA, ABURRIDA En nuestro tiempo, la logica
Y SOLO PARA SUPERDOTADOS; EXISTEN
MUCHOS ASPECTOS LUDICOS QUE PUEDEN
HACER MAS INTERESANTES LAS CLASES.
En su obra El mundo y sus
demonios, Carl Sagan de-
scribe a la razon y el uso de la
logica como un mode- lo de
causa-efecto unidos por una
1
transformacion, que dada la
naturaleza del universo, es es-
pecial- mente termodinamica.
podria escribirse una obra
filosofica buena y seria com-
puesta enteramente por
chistes.
Al comprender el chiste se
comprende el argumento
implicito en el.
Y a este respecto Martin
Gardner dice la virtud esta
en encontrar el equilibrio en-
tre el juego y la seriedad: el
juego mantendra interesados
y despiertos a nuestros alum-
nos, y motivara su discusion
mas alla de las paredes del
aula; la seriedad convertira
nuestras clases en algo util y
provechoso.
se convierte en uno de los
fundamentos matematicos
y en la base formal indis-
pensable para la informatica.
Formalizar el conocimiento
y automatizar las formas de
razonar es primordial en la
mayoria de las areas de la
informatica; la importancia
de esta en los contenidos
de informatica ha toman-
do forma propia por sus
aplicaciones en contextos
 puntuales como la programa-
cion, la matematica discreta,
la ingenieria de software, el
diseno de bases de datos, la
inteligencia artificial y otros.
Ultimamente se han publica-
do textos de logica escritos
puntualmente para estudi-
antes de ingenieria informati-
ca, que tratan la logica desde
una perspectiva de aplicacion
solamente a la computacion.
Por todo esto, en la matematica
discreta debe tratarse mas que
la logica formal o matematica
y profundizar en aspectos
LGICA APLICADA A LA INFORMTICA
como la resolucion automatica
de teoremas, la resolucion
logica de problemas y esbozar
la programacion logica, lo que
constituye uno de los objetivos
de este libro.
2 A2
DEFINICIONES
UTILIZADAS
La lgica se puede definir por
un lado como ciencia y por
otro como proceso, estudia-
dos por la filosofa en un len-
guaje formal.
APLICADA A LAS CIENCIAS
Es la encargada de estudiar
y analizar los problemas de
la tendencia del ser humano
por encontrar el conocimien-
to certero, las cuestiones del
origen.
Para la lgica lo importante es
aclarar qu es una certeza y
cmo alcanzarla; no entra en
definiciones acerca de qu es
verdad y qu es mentira.
Dichos conceptos, al po-
seer cierta carga moral, le
competen al razonamiento.
Es por esto que la cien-
cia no define qu es verdad
o mentira: define las cer-
tezas, que son imprescindi-
bles para todas las ciencias.
La filosofa es la encargada de
ensear a construir y plantear
metodologas acerca de cmo
 falsar las certezas seguras, por
medio de los razonamientos,
ya sean deductivos, inductivos
o abductivos.
APLICADA A LOS PROCESOS
Es el proceso de reflejo del
mundo objetivo en la con-
ciencia del hombre y de ver-
ificacin de la correccin de
este reflejo por la prctica, es
generada histricamente por
la vida de los hombres concre-
tos, cuando se separan de los
fenmenos de la naturaleza,
Sus categoras son peldaos
y puntos focales del cono-
LGICA APLICADA A LA INFORMTICA
cimiento de la naturaleza ob-
jetivamente existente, lo que
caracteriza la conciencia del
hombre que se desprende de
la naturaleza objetivamente
existente.1
APLICADA A L
LAS MATEMTICAS
En la actualidad el hombre
tiende a relacionarse ms fre-
cuentemente con la lgica
matemtica que se relaciona
con un sistema deductivo en
el que conviven ciertos axi-
omas bsicos y ciertas reglas
de deduccin.
Dicho sistema lo conforma
un conjunto de expresiones
(o smbolos) que facilitan la
construccin de determinadas
proposiciones (o suceso)
LOGICAS
LOGICA MATERIAL
Comunmente, es la dedicada
al analisis de los conceptos
y procedimientos implica-
dos y utilizados para elabo-
rar conclusiones partiendo
de cierta informacion dada.
Usualmente, esta logica parte
del concepto de que el pens-
amiento humano es, muchas
veces, falso; por lo que ha
teni- do como objetivo buscar
la verdad, y se ha dedicado a
clasificar entre razonamientos
correctos y racionamientos
falaces.
LOGICA FORMAL
Por el contrario, es el estu-
dio de argumentos racionales
pero rigurosamente esque-
matizada y organizada. Su
origen se basa en que todos
razonamos bien e intentam-
os avanzar el razonamiento
 a instancias superiores. For-
ma relaciones altamente ab-
stractas entre las ideas, pero
no debe confundirse con la
logica matematica o simboli-
ca, que es solo un tipo de
logica que se halla dentro del
campo de la logica formal.
AHORA BIEN, ENSENAR LOGICA NO TIENE QUE
SER UNA FUNCION COMPLEJA, ABURRIDA se originan y aplican en to-
Y SOLO PARA SUPERDOTADOS; EXISTEN
MUCHOS ASPECTOS LUDICOS QUE PUEDEN
HACER MAS INTERESANTES LAS CLASES.
Esta existencia de diferentes
concepciones de la logica
implica que no es estudi-
LGICA APLICADA A LA INFORMTICA
ada en el vacio, y que por
el contrario es usada en un
contexto; es decir, puede ser
usada por las otras ciencias.
La logica, en cualquiera de
sus representaciones, se ha
convertido en el pensamiento
de la ciencia por excelen-cia.
Utilizar la logica es poner-
la al ser vicio de la ra -
zon , diferenciandose en
dos tipos de razonamien-
4 A4 tos: deductivo e inductivo.
La ciencia que estudia las
leyes de inferencia en los
razonamientos es la logica
formal y a traves de la for-
malizacion del lenguaje y de
sus reglas basicas, determina
las herramientas necesarias
para intentar resolver rig-
urosamente problemas que
das las areas de las ciencias.
Particularmente los alumnos
de Informatica pueden aplicar
sus conocimientos de logica al
estu- dio del Algebra, el Cal-
culo, la Matematica Discreta,
la Electronica Digital, la Teoria
de Automatas y Lenguajes
Formales, la Programacion,
las Bases de Datos, etc., etc.
LA LOGICA Y
SU LENGUAJE
El lenguaje natural utilizado
por los humanos para comu-
nicarse es altamente flexible:
comunmente entendemos el
significado de una frase sin que
este correctamente formulada.
 LAS FRASES: COMO TE LLAMAS? Y POR FAVOR, DAME TU LIBRO;
SON EJEMPLOS DE ORACIONES A LAS QUE NO SE PUEDE ASOCIAR
UN VALOR DE VERDAD.

Ademas, dicho lenguaje tiene

sus limitaciones: si deseamos
formular solo afirmaciones
que se puedan definir correc-
tas o verdaderas sin caer en
ambiguedad, debemos definir
un lenguaje mas preciso y que
se denomina lenguaje formal.
Comentabamos antes que
En el lenguaje natural exis-
la logica tiene como fina-
ten oraciones para la cuales
lidad el estudio de la vali-
no tiene sentido preguntarse
dez del razonamiento, las
si son verdaderas o falsas.
definiciones basicas de ra-
zonamiento y validez son:
Por esto y por que se deben
realizar calculos exactos, el
Razonamiento (deduc-
lenguaje formal de la logica se
cion, inferencia, argu-
encarga de las proposiciones,
mento): es obtener un
LGICA APLICADA A LA INFORMTICA

que son oraciones declara-

n u evo co n o cimie nto
tivas a las cuales se pueden
(conclu-sion) partiendo
asociar valores de verdad.
de una serie de cono-
cimientos (premisas).
Validez formal de un
razonamiento: un ra-
zonamiento es formal-
mente valido si la con-
clusion y las premisas
son necesariamente ver-
daderas.

LOGICA Y
MATEMATICAS
El conocimiento cientifico es
una representacion del mun-
do real y logra altos niveles de
precision y exactitud cuando
estos modelos tienen natu-
raleza matematica.
LAS FRASES: COMO TE LLAMAS? Y POR FAVOR, DAME TU LIBRO;
SON EJEMPLOS DE ORACIONES A LAS QUE NO SE PUEDE ASOCIAR
UN VALOR DE VERDAD.
La esencia de los modelos
matematicos reside en sus tres
caracteristicas:
La necesaria simplificacion
que se realiza en los mod-
elos: permite analizar muy
claramente los aspectos
y relaciones presentados
en el mundo real, dejando
de lado otras relaciones
superfluas que ocultan
y complican los aspec-
tos objeto de estudio.
6 A6
La facilidad para hacer de-
ducciones dentro del mod-
elo: posiblemente una de
las mayores dificultades
del que hacer cientifico
sea la de elegir, entre los
distintos modelos o repre-
sentaciones del objeto de
estudio, el modelo que me-
jor permita la realizacion
de deducciones.
La capacidad predictiva o
el grado de coincidencia
alcanzado al contrastar lo
que estaba previsto en el
modelo y lo que ocurre en
el mundo real: el metodo
cientifico anade la exper-
imentacion para realizar
dicho contraste
Si un modelo inductivo es se-
guido en las ciencias experi-
mentales, en las matemati-
cas se sigue un modelo
deductivo de razonamiento.
O sea que partiendo de
una serie de verdades ini-
ciales, llamadas axiomas,
se logran obtener, aplican-
do reglas correctas de de-
duccion, otros hechos ver-
daderos, llamados teoremas.
Podemos decir entonces
que el objeto de la logica es
el estudio sistematico de las
condiciones generales de va-
lidez de dichas deducciones.
Los conceptos de deduccion
y demostracion referidos
a un teorema son un argu-
mento logicamente incues-
tionable que establece que
ese teorema es verdadero.
Los axiomas no se eligen, en
principio, arbitrariamente,
sino que tratan de explicar el
mundo real; asi, los numeros
naturales surgen de la necesi-
dad de contar objetos. Si
por ejemplo se asume, como
aproximacion inicial, que una
sentencia es verdadera si es
verificable via experimento,
resulta simple comprobar la
validez de la sentencia: 4 + 1
= 5, para lo cual es suficiente
con tomar cuatro manzanas
y una pera y contar el total
de objetos resultante. Pero, si
queremos comprobar experi-
mentalmente la validez de: (2
x 98) + (2 x 98) = (4 x 98),
no sera una tarea simple. Para
resolver la sentencia necesi-
tamos construir un modelo
(representacion abstracta de
los numeros naturales) para
que la validez de dicha sen-
tencia se pueda demostrar
partiendo de las propiedades
de la suma de numeros natural
es en esa representacion.
Es entonces la aplicacion
de un modelo, en el que se
parte de un conjunto de axio-
mas que estable- cen una se-
rie de propiedades basicas de
los objetos matematicos del
estudio; dichas propiedades
son admitidas verdaderas, no
se demuestran e indican la de-
scripcion de los objetos invo-
lucrados, asi como las propie-
dades que debieran tener.
Los axiomas deben ser:
Independientes: ningun axio-
ma se puede demostrar par-
tiendo de cualquiera otro in-
volucrado.
Suficientes: las propiedades
en general que deben satis-
facer los objetos representa-
dos deben poderse deducir a
partir de los axiomas.
Compatibles: no se debe de-
ducir logicamente partiendo
 de ellos que una sentencia es
a la vez
verdadera y falsa.
Luego de establecer los ax-
iomas, los demas teoremas
se obtienen por deducciones
logicas o demos- traciones
que parten de los axiomas o
de otros teoremas ya dem-
ostrados.
Terminos como lema, corolario
y proposicion son empleados
para cierto tipo de teoremas.
Lema es un teorema simple
empleado para demostrar
uno mas complejo. Corolario
es un teorema consecuen- cia
directa de un teorema previo.
Proposicion es sinonimo de
teorema, se prefiere teorema
para he- chos relevantes y
proposicion para hechos se-
cundarios
1.5 LOGICA E INFORMATICA
En las decadas de 1950 y
1960 debido a la aparicion
de los computadores, la logi-
ca comienza una nueva epo-
ca. Surge en ese entonces la
necesidad de determinar si
es posible especificar formal-
8 A8 men- te programas y definir
sistemas de demostracion au-
tomatica de teoremas. Estos
problemas son los principales
objetos de estudio de la logica
informatica. En los setenta se
desarrolla la programacion
logica como herramienta
de resolucion de problemas.
En 1972 aparece el primer
lenguaje de progra- ma-
cion logica: PROLOG, obra
de Colmerauer; y desde los
ochenta se vienen utilizando
logicas no clasicas, como las
logicas con las que se puede
dar una interpretacion prob-
abilista de la incertidum-
bre. La logica informatica se
puede aplicar en areas como:
Especificacion y verificacion
de programas.
Demostracion automatica de
teoremas.
Programacion logica.
Inteligencia artificial y siste-
mas basados en el conocimien-
to, etc.
Cual es la relacion entre
logica e informatica? El calculo
basado en operaciones arit-
meticas o el al- macenamiento
clasificacion y busqueda de
datos, son trabajos intelectuales
que se han mecanizado con
el diseno de los computado-
res. La inteligencia artificial
es el campo de la informatica
que permite mecanizar tareas
mas complejas; es el area en la