Lógica de Primer Orden en las Ingenierías

Informáticas1
)DUDyQ /ORUHQV /DUJR \ 0 -HV~V &DVWHO GH +DUR
Departamento de Tecnología Informática y Computación
Escuela Politécnica Superior, Universidad de Alicante
Apartado de correos, 99. 03080 Alicante
Teléfono, fax (96) 590 36 81
[faraon,chus]@dtic.ua.es

Resumen

Dentro del cometido de la Universidad de transmisión y crítica de la ciencia,

de la técnica y de la cultura, se propone que el hacer didáctico de cualquier
asignatura incluya unos contenidos bien relacionados, un conocimiento del proceso
de enseñanza/aprendizaje y un entendimiento de la práctica docente. La Lógica, en
el contexto universitario y, en concreto, dirigida a estudiantes de ingeniería
informática, aporta al alumno una visión razonada del aprendizaje basada en la
formalización del conocimiento y en la automatización de distintas formas del
razonamiento humano.

1.- Marco Contextual

Dentro de la finalidad de estas jornadas de dar a conocer diferentes

experiencias en el ámbito de las enseñanzas realizadas en distintas Universidades
españolas, presentamos el proyecto aplicado en la asignatura obligatoria2 Lógica de
er
Primer Orden impartida en 1 curso de las Ingenierías Informáticas en la
Universidad de Alicante. Dicha asignatura está adscrita al área de “Ciencias de la
Computación e Inteligencia Artificial” y es impartida por profesores pertenecientes
al departamento de “Tecnología Informática y Computación” de dicha Universidad.

¿ Dónde ? → La Universidad

La Ley de Reforma Universitaria [BOE87a] garantiza a la Universidad las

condiciones de autonomía y de libertad de manera que la sociedad le pueda exigir
calidad docente e investigadora que la conviertan en un instrumento eficaz de
transformación social. Las Directrices Generales Propias de Informática [BOE90]
1
II Jornadas Nacionales de Innovación en las Enseñanzas de las Ingenierías, Instituto de Ciencias de la
Educación, Universidad Politécnica de Madrid, diciembre de 1996. Comunicaciones Volumen II, pág.
840-847.
2
Según las Directrices Generales Comunes [BOE87b] los contenidos se organizarán en materias; dentro de
las materias propias determinadas discrecionalmente por cada universidad encontramos materias
obligatorias que son libremente establecidas por dicha universidad y que se incluyen en su correspondiente
plan de estudios como obligatorias para el alumno.
establecen tres nuevas titulaciones : Ingeniero en Informática (II), Ingeniero
Técnico en Informática de Gestión (ITIG) e Ingeniero Técnico en Informática de
Sistemas (ITIS). Los nuevos Planes de Estudio de Informática
[BOE93a],[BOE93b],[BOE93c] de la Universidad de Alicante a impartir en la Escuela
Politécnica superior fijan las siguientes líneas maestras :
UNIVERSIDAD DE ALICANTE LÓGICA DE PRIMER ORDEN
Curso Créditos Carácter Duración Nº Nº horas/sesión Contenido
Total Teór. Práct. II ITIG ITIS sesiones Teoría Práct.
Cálculo Proposicional.
1º 4,5 3 1,5 Ob Ob Ob Cuatrim. 15 2 h. 1 h. Lógica de Predicados de
Primer orden
Tabla 1: Lógica de Primer Orden en los Planes de Estudio de Informática de la Universidad de Alicante

Vista la normativa legal que vertebrará nuestra labor, debemos abordar la

planificación de un programa que nos permita llevar a buen término nuestra tarea.

¿ Cómo ? → Metodología Docente

La primera pregunta que nos planteamos como docentes es ¿ qué han de

saber y saber hacer los profesores y profesoras para favorecer un aprendizaje
efectivo de los alumnos y alumnas e impartir una docencia de calidad ? Para la
elaboración del saber didáctico es imprescindible la integración de :
- el conocimiento de la materia
- el conocimiento de los procesos de enseñanza y aprendizaje
- el conocimiento de la práctica docente
Claramente hay un consenso generalizado entre el profesorado en la
importancia de un buen conocimiento de la materia a enseñar. Y los alumnos son
extraordinariamente sensibles a este dominio de la materia por el profesorado, pero
también al entusiasmo del profesor por aquello que se está estudiando.
Evidentemente, una falta de conocimientos científicos constituye la principal
dificultad para que los profesores afectados se impliquen en actividades
innovadoras. La segunda dificultad para una actividad docente innovadora y
creativa, procede de aquello que los profesores ya sabemos, de lo que constituye el
pensamiento docente de sentido común. Los profesores tienen ideas, actitudes y
comportamientos sobre la enseñanza debidos a una larga formación ambiental
durante el periodo en que fueron alumnos :
- la reducción habitual del aprendizaje de las ciencias a ciertos
conocimientos y, a lo sumo, algunas destrezas, olvidando aspectos
históricos, sociales, actitudinales, ...3
- la idea de que enseñar es fácil.
Nosotros utilizaremos un modelo híbrido que tome aquellos aspectos

3
El concepto de aprender implica el asimilar y reconstruir conocimientos (dominio cognoscitivo), adquirir y
usar destrezas (dominio psicomotriz) y desarrollar actitudes (dominio afectivo).
relevantes de distintas metodologías existentes, de manera que la clase magistral
asume un papel relevante en la transmisión de conocimientos, mejorando el proceso
mediante aprendizaje activo (actividades, técnicas de grupo, uso de la pregunta en
clase, ...) e incorporando la visión constructuvista (construir significados
activamente, partir de las preconcepciones del alumno, plantear situaciones
problemáticas, establecer relaciones, ...). Así, nuestra propuesta se caracteriza por :
- diagnóstico previo de los conocimientos
- utilización de diversidad de orientaciones y estilos de aprendizaje
- desarrollar el “aprender a aprender”
- hacer responsables a los estudiantes de su propio aprendizaje

¿ Qué ? → La Lógica

Nuestra primera pretensión al plantearnos la elaboración del programa de la

asignatura ha sido armonizar los tres grandes campos implicados en la Lógica, y
que son, por orden histórico de intervención en ella, la Filosofía, la Matemática y la
Informática. Partimos de estos ingredientes básicos y lo aderezamos todo con un
cariz didáctico y pedagógico que haga agradable y motivador para el
alumno/profesor el aprendizaje/enseñanza de la lógica. El contenido, descrito en la
tabla 2, muestra el estudio básico de la lógica, pero enfocado a la informática .
Tema Título Sesiones

Teoría : 15
Tema 1 Historia de la Lógica Simbólica 1
Tema 2 El lenguaje de la Lógica de Primer Orden 2
Tema 3 Teoría Semántica 1
Tema 4 Deducción Natural en Lógica de Primer Orden 3
Tema 5 Teoría Axiomática 1
Tema 6 Normalización de Fórmulas 2
Tema 7 Técnicas de Demostración Automática 3
Tema 8 Programación Lógica 2

Prácticas : 15
Práctica I El Lenguaje de la Lógica de Primer Orden : 4
4
1. Seminario de Tarski’s World
2. Ejercicios y Problemas
Práctica II Métodos de Demostración : 4
5
1. Seminario de Hyperproof
2. Ejercicios y Problemas
Práctica III 7

4
Tarski’s World es un programa de ordenador diseñado por Jon Barwise y John Etchemendy y publicado por
CSLI (“Center for the Study of Language and Information”), Stanford. Existen versiones para ordenador PC
equipado con Microsoft Windows (ver. 3.0 o superior), para Macintosh de Apple y para NeXT.
5
Hyperproof es un programa para Macintosh diseñado por Jon Barwise y John Etchemendy y publicado por
CSLI, Stanford.
6
Prolog-2 es un interprete Prolog de dominio público para ordenadores PC de “Expert Systems Ltd.”
(Oxford, England)
 Programación Lógica : Prolog
6
1. El Sistema Prolog-2
2. Programa ejemplo : Normalización de Fórmulas
3. Juego Lógico
Tabla 2: Contenido de la asignatura Lógica de Primer Orden

2.- Características principales del proyecto

2.1.- La lógica es divertida

La enseñanza de la lógica no tiene porque ser “estirada”, “aburrida” y sólo
para “iniciados” ; tiene muchos aspectos lúdicos que harán más interesantes
nuestras clases. Ludwing Wittgenstein, filósofo austríaco, escribió que “podría
escribirse una obra filosófica buena y seria compuesta enteramente por chistes”. Si
se entiende el chiste se entenderá el argumento implícito en él. Para ello podemos
utilizar una serie de pequeños libros escritos por grandes autores
[Carroll88],[Gardner89],[Paulos94],[Smullyan89],[Smullyan91], con un claro carácter lúdico y
recreativo pero que son mucho más que simples amenidades, y que pueden
llevarnos hasta nociones muy profundas. Como dice Martin Gardner la virtud está
en encontrar el equilibrio entre el juego y la seriedad : el juego mantendrá
interesados y despiertos a nuestros alumnos y alumnas, y motivará su discusión más
allá de las paredes del aula ; la seriedad convertirá nuestras clases en algo útil y
provechoso. Estos libros están llenos de anécdotas, historias, chistes, parábolas,
acertijos, adivinanzas, pasatiempos, paradojas, figuras imposibles ... relacionados
de un modo u otro con distintos problemas y conceptos lógicos. Al final de cada
tema hemos incluido una sección que hemos titulado “La Lógica en la Vida” que
presenta actividades entresacadas de este tipo de libros y relacionadas con el tema
en cuestión.

2.2.- Nuestros alumnos son informáticos

La Lógica se ha convertido en uno de los fundamentos matemáticos y en una
base formal indispensable en todo informático. La formalización del conocimiento
y la automatización de las formas de razonamiento son primordiales en muchas
áreas de la Informática. La importancia de la Lógica en los curricula de Informática
va tomando cuerpo propio debido a sus aplicaciones en contextos específicos tales
como la Programación, la Ingeniería del Software, el Diseño de Sistemas de Bases
de Datos y la Inteligencia Artificial. En los últimos años han ido surgiendo libros de
texto de lógica escritos específicamente para estudiantes de Ingeniería Informática,
que abordan la Lógica desde una perspectiva de aplicación a la computación
[Arenas96],[Castel96],[Cuena85],[Reeves90]. Por todo ello, el programa de la asignatura debe
ir más allá de la Lógica Formal o Matemática para adentrarse en los aspectos de la
Resolución Automática de Teoremas y rozar la Programación Lógica.
 2.3.- La mejor manera de aprender un lenguaje es usándolo
Tal como escribe Robert Moore [Moore95] “la mayoría de formas superiores
de conducta inteligente requieren la representación explícita de conocimiento” y “la
lógica formal constituye la piedra angular en la representación” de dicho
conocimiento. Para ello nos proporciona un lenguaje artificial no ambiguo, riguroso
y preciso, con el que poder escribir nuestras sentencias. En la parte práctica de la
asignatura utilizamos un programa de ordenador, Tarski’s World [Barwise92], que
representa una nueva aproximación pedagógica a la enseñanza de la Lógica de
Primer Orden. Partiendo de la premisa de que como mejor se aprende un lenguaje
es usándolo, Tarski´s World permite a los alumnos construir mundos
tridimensionales de bloques y describirlos en el lenguaje simbólico de la Lógica.
Así, nos proporciona un entorno de trabajo de manera que podemos utilizar y
practicar el lenguaje de la lógica de primer orden de la misma manera que usamos
el lenguaje natural. Los estudiantes aprenden mejor lógica a través de ejercicios y
problemas, trabajando en pequeños grupos, utilizando el lenguaje directamente y
pudiendo resolverlos ayudados por el programa.

2.4.- La práctica como apoyo a la teoría

Las Directrices Generales Propias de las Ingenierías Informáticas conceden
a los nuevos Planes de Estudio una papel importante a las prácticas al establecer
que “la carga lectiva oscilará entre 20 y 30 horas semanales, incluidas las
enseñanzas prácticas. En ningún caso la carga lectiva de la enseñanza teórica
superará las 15 horas semanales”. Así, la asignatura “Lógica de Primer Orden”
tiene un tercio de los créditos asignados a las prácticas en el laboratorio, como se
contempla en la tabla 1. La parte práctica de la asignatura ha sido pensada como
soporte y apoyo a los conceptos y técnicas descritas y trabajadas en la parte de
teoría, facilitando con ello la comprensión de conceptos abstractos, con la ventaja
de que durante este tiempo de laboratorio utilizan herramientas informáticas (que
por sí solas ya representan un aliciente para el alumno) diseñadas especialmente
para enseñar lógica a principiantes (Tarski’s World e Hyperproof [Barwise96]).
Hyperproof es un programa, complementario a Tarski’s World, para aprender los
principios básicos del razonamiento analítico y la construcción de demostraciones
que combina información en forma gráfica (diagramas describiendo un mundo de
bloques) y en forma de sentencias (expresadas en el lenguaje de la lógica de primer
orden), junto con un conjunto de reglas lógicas para manipular esta información,
permitiendo al estudiante centralizar su esfuerzo en la tarea de razonar, y no en la
estructura sintáctica de las sentencias.
En la realización del proyecto de laboratorio se trabajará, de manera gradual,
a tres escalas de dificultad:
1. Introducción : estudio y comprensión de un sistema o programa
familiarizándose con su uso y observando la actuación de determinados ejemplos.
 2. Resolución de Problemas : ampliación de la experiencia inicial a la
resolución de problemas de complejidad creciente, observando los distintos
comportamientos derivados de pequeñas modificaciones en la solución.
3. Diseño Creativo : reforzando la habilidad de resolver problemas en
contextos más complejos y realizando, en gran grupo, un análisis crítico de las
soluciones.

2.5.- Introducción a la Programación Lógica

Empleada como un lenguaje para comunicarse con los ordenadores, la
lógica representa un formalismo de nivel superior y más orientado a la persona que
otros lenguajes de programación clásicos, y por ello se ha convertido en el pilar de
una nueva generación de lenguajes de programación : la Programación Lógica.
Este paradigma de programación justificaría por sí solo la inclusión de la Lógica en
el curriculum de Informática. En la parte práctica se estudiará Prolog
(“PROgrammation en LOGique”) [Clocksin87],[Giannesini89], el más extendido de los
lenguajes de programación lógica basado en el cálculo de predicados de primer
orden y ampliamente utilizado en investigaciones de Inteligencia Artificial
[Kowalski86]. La idea central la podemos resumir utilizando la conocida ecuación de
Kowalski “algoritmo=lógica+control”, de manera que el control (estrategia para
encontrar la solución) lo dejamos en manos de la máquina y sólo debemos
preocuparnos de la lógica (información acerca del problema).

2.6.- Personalización del contenido

La docencia tiene por objeto poner en contacto dos elementos de enorme
complejidad : por un lado la materia de estudio, en este caso la lógica ; por el otro
el alumno, sujeto esencial del proceso de enseñanza/aprendizaje y de elevado grado
de diversidad en cuanto a características personales y educativas. Toda
programación docente debe adaptarse en cualquier momento a las características
particulares de cada situación. A lo largo del curso se irán proponiendo trabajos y
actividades complementarias y seminarios opcionales que extenderán y ahondarán
determinados puntos del temario, y servirán de complemento a los conocimientos y
destrezas adquiridos tanto en la parte teórica como en la práctica. La lectura y
comentario de artículos y bibliografía relacionada con la asignatura introducen al
alumno en un área concreta de su interés al tiempo que le ayudan a descubrir y
comprender el contexto científico en el que ésta se desarrolla. Los seminarios
monográficos resultan de gran interés para el desarrollo de temas afines al
programa, no incluidos en el mismo. Los seminarios interdisciplinares, es decir,
programados e impartidos conjuntamente por profesores de distintas asignaturas,
complementan el contenido de las asignaturas implicadas al tiempo que dan una
visión desde diferentes perspectivas de algunos temas a caballo entre distintas
materias.
 2.7.- Diversidad en la evaluación
Se entiende por Evaluación aquel proceso complejo que comprende la
obtención, por medio de los más variados procedimientos, de información útil
acerca de cualquier tema, que permitirá emitir juicios, y en consecuencia, tomar
decisiones al respecto. Al hablar de evaluación deberemos plantearnos cuatro
cuestiones : ¿ quién evalúa ?, ¿ qué evaluar ? ¿ cómo evaluar ? y ¿ para qué
evaluar ?. Según se conteste a estas preguntas tendremos distintos tipos de
evaluación. No debemos limitarnos a la evaluación clásica de “¿quién?-profesor”,
“¿qué?-conocimientos”, “¿cómo?-examen” y “¿para qué?-calificaciones”. Se trata
de concebir y utilizar la evaluación como un instrumento de aprendizaje que
permita suministrar retroalimentación adecuada a los alumnos, y al propio
profesor, contribuyendo a la mejora de la enseñanza. Así, la evaluación debe tener
las siguientes características :
- debe ser percibida por los alumnos como una ayuda real, generadora de
expectativas positivas.
- debe extenderse a todos los aspectos del aprendizaje : conceptuales,
procedimentales y actitudinales.
- debe ser una evaluación a lo largo de todo el proceso, no valoraciones
terminales.
- debe incluir a lo largo del curso actividades de autoevaluación.
Debe buscarse la coherencia de los criterios de evaluación con los elementos
restantes de la planificación docente (objetivos, contenidos y actividades). La
diversidad en la evaluación enriquece el proceso de enseñanza-aprendizaje :
evaluación periódica de los ejercicios propuestos, prueba escrita con cuestiones tipo
test y ejercicios, cuaderno de prácticas, trabajos complementarios (opcionales), ...

3.- Conclusiones

El trabajo docente no debe ser una tarea aislada, y ningún profesor o

profesora ha de sentirse desbordado por un conjunto de saberes que, con toda
seguridad, sobrepasan las posibilidades de un ser humano. Lo esencial es que pueda
darse un trabajo colectivo en todo el proceso de enseñanza/aprendizaje: desde la
preparación de las clases a la evaluación. Se trata, en definitiva, de orientar dicha
tarea docente como un trabajo conjunto de innovación, investigación y formación
permanente. El presente proyecto docente es el resultado del trabajo en el seno de
un grupo de profesionales : los profesores del departamento de Tecnología
Informática y Computación.
Tal como dice Hernández [Hernández89] un proyecto docente “es un trabajo
híbrido que debe reflejar, por una parte, la competencia, el dominio o la madurez
del candidato en relación con la materia objeto de enseñanza, y, por otra, la forma
en que el candidato diseña su enseñanza”. Al finalizar la elaboración de cualquier
programación docente no debemos omitir la última, reiterativa y casi siempre
olvidada fase de revisión del programa. A la finalización de cada curso escolar
deberemos reflexionar sobre la programación y
- modificar aquellos aspectos equivocados de la programación
- actualizar aquellos puntos que hayan quedado desfasados, y
- potenciar y asentar los aspectos favorecedores.

Referencias Bibliográficas :

[Arenas96] Lógica Formal para Informáticos. Lourdes Arenas Alegrías. Ed. Díaz de Santos, 1996

[Barwise92] The Language of First Order Logic. Jon Barwise y John Etchemendy. Incluye Tarki’s World
4.0. CSLI Lecture Notes nº 34, third ed.. CSLI Publications. Stanford Univ. 1992.

[Barwise94] Hyperproof. Jon Barwise y John Etchemendy. CSLI lecture notes nº 42, 1994, CSLI Publicat.,
Stanford, California

[BOE87a] Ley de Reforma Universitaria. Ley Orgánica 11/1983 de 25 de Agosto. B.O.E.

[BOE87b] Directrices Generales Comunes de los Planes de Estudio de los Títulos Universitarios de
carácter oficial y validez en todo el territorio nacional. Real Decreto 1497/1987 de 27 de
noviembre, B.O.E.

[BOE90] Directrices Generales Propias de los Planes de Estudios conducentes a la obtención de los
títulos oficiales de Ingeniero en Informática, Ingeniero Técnico en Informática de Gestión e
Ingeniero Técnico en Informática de Sistemas. Consejo de Universidades. Reales Decretos
1459-60-61 de 26 de octubre de 1990. BOE nº 278: 34401-34405 de 20 de noviembre de
1990.

[BOE93a] Plan de Estudios conducente al título de Ingeniero Técnico en Informática de Gestión de la

Escuela Politécnica Superior de la Universidad de Alicante. Resolución de 18 de septiembre
de 1992 de la Universidad de Alicante. B.O.E. nº 18, de 21 de Enero de 1993, pag. 1565-
1578.

[BOE93b] Plan de Estudios conducente al título de Ingeniero en Informática de la Escuela Politécnica

Superior de la Universidad de Alicante. Resolución de 18 de septiembre de 1992 de la
Universidad de Alicante. B.O.E. nº 37, de 12 de Febrero de 1993, pag. 4467-4478.

[BOE93c] Plan de Estudios conducente al título de Ingeniero Técnico en Informática de Sistemas de la

Escuela Politécnica Superior de la Universidad de Alicante. Resolución de 18 de septiembre
de 1992 de la Universidad de Alicante. B.O.E. nº 37, de 12 de Febrero de 1993, pag. 4478-
4489.

[Carroll88] El juego de la Lógica. Lewis Carroll. Alianza Editorial, 1988.

[Castel96] Lógica de Primer Orden. Mª Jesús Castel y Faraón Llorens. Dpto. Tecnología Informática y
Computación, Universidad de Alicante, 1996.

[Clocksin87] Programación en Prolog. W.F. Clocksin. y C.S. Mellish. Ed. Gustavo Gili. 1987.
[Cuena85] Lógica Informática. José Cuena. Alianza Editorial, S.A., 1985.

[Gardner89] ¡Ajá! Paradojas. Paradojas que Hacen Pensar. Martin Gardner. Ed. Labor S.A., 1989.

[Giannesini89]Prolog. F. Giannesini, H. Kanoui, R. Pasero, y M. Van Canaghem. (Groupe Intelligence

Artificielle, Marsella). Addison-Wesley Iberoamericana, 1989

[Hernández89]Diseñar y Enseñar. Teoría y Técnicas de la Programación y del Proyecto Docente. Pedro

Hernández. ICE Universidad de la Laguna y NARCEA, S.A. de Ediciones, 1989

[Kowalski86] Lógica, Programación e Inteligencia Artificial. R. Kowalski. Ed. Díaz de Santos, 1986.

[Moore95] Logic and Representation. Robert C. Moore. CSLI Lecture Notes nº 39. CSLI Publications,
Stanford, California, 1995

[Paulos94] Pienso, luego río. John Allen Paulos. Ediciones Cátedra S.A., 1994.

[Reeves90] Logic for Computer Science. S. Reeves y M. Clarke. Ed. Addison-Wesley, 1990

[Smullyan89] ¿Cómo se llama este libro?. Raymond Smullyan. Ediciones Cátedra, 1989.

[Smullyan91] Alicia en el País de las Adivinanzas. Raymond Smullyan. Ediciones Cátedra, 1991.