UNIVERSIDAD DE BUENOS AIRES

FACULTAD DE ClENCIAS ECONOMICAS

LICENCIATURA EN SISTEMAS DE INFORMACION EN LAS ORGANIZACIONES
PLAN 1997

LOGICA
Asignatura 651

(Departamento de Humanidades)

Programa

PROFESOR TITULAR:
PROF. DR. JAVIER LEGRIS

UNIVERSIDAD DE BUENOS AIRES

FACULTAD DE ClENCIAS ECONOMICAS

LOGICA
Asignatura 651

Programa

A. ENCUADRE GENERAL.
A.1. PROGRAMA DE CONTENIDOS MINIMOS.
Sistemas sintcticos y semnticos. Los sistemas formales como
modelos de computadoras. Lenguajes y programas. El lenguaje de la
lgica sentencial. Mtodos de decisin. El sistema de deduccin
natural. Aplicaciones: Diseo de sumadores y otros circuitos para
computadoras. El lenguaje de la lgica de predicados. Mtodos de
decisin -Mquinas de Turing. Principales resultados de la teoria de
modelos. Aplicaciones: Prolog, Sistemas Expertos. Problemas
resolubles y no resolubles algoritmicamente. Mtodos y tcnicas
cientficas. Tipos de conocimientos cientficos, ciencia y tecnologa.
Tecnologia: mtodo cientfico y tecnologa. Elucidacin de la accin
humana y su aplicacin al diseo de sistemas.
A.2. FUNDAMENTACIN.
La lgica, entendiendo por esta disciplina la lgica matemtica
o lgica simblica en el nivel de desarrollo que se encuentra
actualmente, desempea un papel bsico, a la vez fundante y
central en los estudios de sistemas de informacin tanto en los
aspectos ligados al diseo de sistemas como a los aspectos ms
estrictamente computacionales, ligados a los desarrollos actuales de
la informtica.
Esta afirmacin se funda en los siguientes hechos:
1) La lgica proporciona lenguajes formales para representar y
analizar problemas de los campos ms diversos y sistemas formales
que permiten resolver esos problemas.
2) La lgica proporciona las herramientas para formalizar diferentes
tipos de inferencias que se emplean tanto en la vida cotidiana
como en la actividad cientfica.
3) La lgica es la disciplina subyacente a la teora de la
computabilidad, de modo que su dominio es necesario para
comprender conceptos como funciones computables y las
limitaciones intrnsecas de la computabilidad.
4) La lgica posibilita la organizacin de la informacin a travs de
sistemas deductivos y no deductivos.
2

5) La lgica se aplica en la construccin de sistemas expertos y otro

tipo de herramientas informticas
6) La lgica se aplica en el desarrollo de lenguajes de programacin
(programacin lgica).
7) La lgica es una de las disciplinas que constituyen la inteligencia
artificial y las ciencias cognitivas.
8) Los lenguajes formales que la lgica estudia son aptos para
formalizar teoras cientficas.
9) La lgica es una condicin necesaria para el anlisis
epistemolgico del conocimiento cientfico.
10) La lgica comparte con la teora de circuitos estructuras
matemticas, de modo que mtodos de aquella pueden aplicarse
en esta.
11) La lgica proporciona metodologas para el diseo de sistemas
de informacin.
A.3. UBICACIN DE LA ASIGNATURA EN EL CURRICULUM DE LA
CARRERA.
La asignatura lgica se encuentra entre las primeras materias
especificas del Ciclo Profesional correspondiente a la Licenciatura en
Sistemas de Informacin en las Organizaciones. As, la materia
presupone los conocimientos adquiridos anteriormente en la
asignatura Metodologa de la Ciencias Sociales y, adems, permite
aplicar algunos de los conocimientos de matemtica adquiridos en
las materias de Algebra y de Anlisis Matemtico pertenecientes al
Ciclo General de la carrera.
La materia ofrece un panorama bsico en torno de los
conceptos de lenguaje formal, sistema formal, inferencia,
computabilidad, representacin del conocimiento y programacin
lgica. De este modo, proporciona herramientas conceptuales
necesarias para materias especificas de la carrera, tales como Teoria
de los Lenguajes y Sistemas Operativos, Tecnologa de las
Computadoras, Construccin de Aplicaciones Informticas y
Tecnologa de las Comunicaciones.
A.4. OBJETIVOS DE LA MATERIA.
- Que el alumno adquiera los conceptos bsicos de la lgica para
aplicarlos a la solucin de problemas de su campo profesional.
- Que el alumno represente conocimiento mediante lenguajes
formales.
- Que al alumno adquiera instrumentos para distinguir razonamientos
lgicamente vlidos y enunciados lgicamente verdaderos.
- Que el alumno distinga entre razonamientos deductivos y no
deductivos.
- Que el alumno resuelva problemas deductivos aplicando diferentes
sistemas formales.
3

- Que el alumno comprenda las diferencias entre los diferentes

sistemas formales de lgica y las diferentes metodologas formales
subyacentes a cada uno de ellos.
- Que el alumno conozca los aspectos computacionales de la lgica.
- Que el alumno conozca las propiedades metatericas de los
sistemas formales lgicos computacionalmente ms relevantes.
- Que el alumno comprenda los conceptos de mtodo de decisin y
de algoritmo.
- Que el alumno adquiera los conceptos elementales de
programacin lgica y construya programas sencillos en
programacin lgica.
- Que el alumno sepa construir y simplificar circuitos lgicos.
- Que el alumno comprenda el papel de la lgica en el desarrollo de
herramientas informticas y en la inteligencia artificial.
- Que el alumno aplique las herramientas lgicas y metodolgicas al
anlisis y diseo de sistemas de informacin.

B. PROGRAMA ANALITICO
PRIMERA PARTE: INTRODUCCION
UNIDAD TEMTICA I:
Objetivos:
Que el alumno conozca los conceptos bsicos de la lgica y los
pueda relacionar entre s, viendo como concepto bsico el de
deduccin.
Contenidos:
El concepto de deduccin y la lgica simblica. Razonamientos
deductivos. El problema de la inferencia no deductiva. Conceptos
de lenguaje formal y clculo. Conceptos de validez y consistencia.
Regla lgica y ley lgica. Lgica matemtica: objetivos y mtodos. El
concepto de problema deductivo. Lgica pura y lgica aplicada.
Lgica y el concepto de informacin.
SEGUNDA PARTE: LOGICA PURA
UNIDAD TEMTICA ll:
Objetivos:
Que el alumno comprenda la estructura sintctica y semntica del
Lenguaje de Primer Orden, pudiendo adems representar
informacin proposicional (en especial razonamientos) en ese
lenguaje e interpretar las expresiones del lenguaje en el lenguaje
ordinario.
Contenidos:
El lenguaje de predicados de primer orden. Lenguajes formales.
Lenguaje y metalenguaje. Sintaxis, semntica y pragmtica.
Constantes y variables. Smbolos lgicos y smbolos no lgicos.
4

Trminos y frmulas: definiciones inductivas. El lenguaje de primer

orden como ejemplo de gramtica generativa. Simbolizacin
(formalizacin) e interpretacin en el lenguaje de primer orden. El
lenguaje de predicados de primer orden como lenguaje formal de
representacin del conocimiento: ventajas y limitaciones. El lenguaje
de enunciados como sublenguaje del lenguaje de primer orden.
UNIDAD TEMTICA III:
Objetivos:
Que el alumno comprenda la sistematizacin de la lgica de primer
orden, de acuerdo con los ejemplos especficos que se den
especficamente durante el dictado, lo que implica la capacidad de
realizar derivaciones en el o los sistemas que se estudien, y aplicarlas
a la determinacin de la validez de razonamientos, de la
consistencia de conjuntos de enunciados y de leyes lgicas, segn el
caso.
Contenidos:
Lgica de predicados de primer orden. El concepto de sistema
formal: reglas de derivacin. Sistemas para la lgica de primer orden:
el sistema de deduccin natural; tablas semnticas y rboles lgicos;
sistemas de secuentes; sistemas axiomticos. Definiciones de
derivacin, teorema, implicacin, equivalencia y consistencia en
cada sistema. Lgica minimal, lgica intuicionista y lgica clsica.
UNIDAD TEMTICA IV:
Objetivos:
Que el alumno adquiera nociones bsicas de los estudios
metatericos de la lgica, tanto la teora de la demostracin como
la teora de modelos.
Contenidos:
(a) Nociones de la teora de la demostracin: sistemas tipo Hilbert y
sistemas tipo Gentzen. Principio de inversin y demostraciones
normales en deduccin natural. El teorema fundamental de Gentzen.
Separabilidad de las constantes lgicas. Definicin de consecuencia
lgica como derivacin.
(b) Nociones de la teora de modelos aplicada a sistemas lgicos.
Conceptos de valuacin, interpretacin y modelo. Conceptos de
consecuencia lgica semntica, verdad lgica y consistencia
semntica.
(c) Algunos resultados metatericos de la lgica de predicados de
primer orden: consistencia (correccin semntica), completitud,
indecidibilidad y semidecidibilidad, compacidad. Equivalencia de
sistemas. Propiedades estructurales de la consecuencia lgica.
UNIDAD TEMTICA V:
Objetivos:
Que el alumno se familiarice con peculiaridades de la lgica de
enunciados y la de predicados, y que conozca la lgica de primer
orden con identidad y conociendo la extensin de los sistemas vistos
5

a esta constante lgica, de modo de efectuar derivaciones en esta

lgica extendida.
Contenidos:
(a) Temas de lgica de enunciados. Funciones de verdad.
Valuaciones booleanas. Completitud funcional de las conectivas
clsicas. Formas normales. Decidibilidad de la lgica de enunciados.
Mtodos de decisin para la lgica de enunciados. La regla de
resolucin.
(b) Temas de lgica de predicados. Formas prenexas y formas
normales de Skolem.
(c) Identidad. El lenguaje de primer orden con identidad. La
identidad como concepto lgico. Semntica. Presentacin
axiomtica y mediante reglas (deduccin natural y tableaux
analticos). Representacin de funciones. Ecuaciones y deduccin,
empleo de relaciones de equivalencia. La idea de lgica
ecuacional.
TERCERA PARTE: LGICA APLICADA
UNIDAD TEMTICA Vl
Objetivos:
Que el alumno conozca diferentes sistema de lgica modal y las
diferentes aplicaciones de los operadores modales, y tambin que el
alumno comprenda las aproximaciones formales a la inferencia no
deductiva.
Contenidos:
(a) Lgica modal. Extensin del lenguaje y la lgica de primer orden
por medio de operadores modales. Sistemas: K, T, S4 y S5. Semntica
de mundos posibles. Interpretaciones: Lgica epistmica y lgica
dentica.
(b) Razonamientos no deductivos o ampliativos. La inferencia
revocable y su tratamiento lgico. El problema de la conservacin
de la consistencia. Algunos casos: induccin, abduccin, etc. Los
conceptos de lgica no montona y de lgica subestructural.
UNIDAD TEMTICA VII
Objetivos:
Que el alumno conozca los principios del lgebra booleana y los
sepa aplicar a la construccin de circuitos elementales y a la lgica
de enunciados.
Contenidos:
Circuitos lgicos. Elementos de lgebra booleana. Relacin con la
lgica de enunciados. Compuertas lgicas. Representacin de
circuitos. Minimizacin de circuitos aplicando reglas lgicas. Mapas
de Karnaugh.
UNIDAD TEMTICA VIII
Objetivos:
6

Que el alumno construya programas elementales en el lenguaje

Prolog, aplicando los procedimientos lgicos visto en las unidades
anteriores (en particular II y III), y comprenda la idea de un lenguaje
de programacin como lgica aplicada.
Contenidos:
(a) Nociones de programacin lgica. Clusulas de Horn. Aplicacin
a la representacin del conocimiento. El mtodo de resolucin. El
lenguaje de programacin PROLOG: sintaxis e interpretacin.
Intrpretes PROLOG: programas PROLOG y consultas. Representacin
del conocimiento y construccin de programas PROLOG.
(b) Lgica e inteligencia artificial. Lgica como tecnologa simblica.
Aplicacin tecnolgica de sistemas simblicos: Informtica e
inteligencia artificial. El logicismo en inteligencia artificial.
UNIDAD TEMTICA IX
Objetivos:
Conocer el concepto de funcin Turing-computable y otras
definiciones equivalentes de funciones computables
Contenidos:
Nociones de teora de la computabilidad. Funciones recursivas y
funciones computables. Mquinas de Turing. Tesis de Turing-Church.
NOTA: Cada curso se articular en torno de una seleccin de los
contenidos indicados en las unidades precedentes (en particular de
la tercera parte), y la secuencia en que se aplicarn los diferentes
tems de cada unidad puede variar, de acuerdo con la dinmica de
cada curso.

C. BIBLIOGRAFIA.
(En clase se indicarn los captulos o secciones pertinentes de cada
obra. A la bibliografa se les debe aadir los apuntes y guas de
trabajos prcticos que elaboran los docentes de la asignatura.)
C.1 Bibliografia bsica obligatoria (en castellano):
Badesa, Calixto, Ignasi Jan y Ramn Jansana: Elementos de lgica formal.
Barcelona, Ariel, 2da. ed. 2007. ISBN: 84-344-8777-2
Cuena, Jos: Lgica informtica. Madrid, Alianza, 1985.
Garrido, Manuel: Lgica simblica. 3ra. ed., Madrid, Tecnos, 1995.
ISBN 84-309-0675-4.
Jeffrey, Richard C.: Lgica formal: su alcance y sus lmites. Trad. cast. de Angel
DOrs, Pamplona, Eunsa, 1999. ISBN 84-313-0949-0.

Legris, Javier: Deduccin y representacin. Una introduccin a la lgica de

primer orden. Buenos Aires, Economizarte, 2001. ISBN 987-9372-40-9.
Lipschutz, Seymour: Matemticas para computacin. Trad. cast. de Rafael
Mario Castaeda. Mxico, et al. McGraw-Hill, 1988.
Manzano, Mara & Antonia Huertas: Lgica para principiantes. Madrid, Alianza,
2004. ISBN 84-206-4570-2.
Trajtenbrot, B.A.: Introduccin a la teoria matemtica de las
computadoras y de la programacin. Buenos Aires, Siglo XXI, 1967.
C.2. Bibliografia ampliatoria:
Ackermann, Robert: Nondeductive Inference. London Nueva York,
Routledge Dover, 1966.
Alchourrn, Carlos E., Jos M. Mndez & Ral Orayen (comps.):
Lgica (Enciclopedia Iberoamericana de Filosofia, volt Vll). Madrid,
Trotta, C.S.I.C., 1995.
Balakrishnan, V.K.: Introductory Discrete Mathematics. Nueva York,
Dover, 1996.
Boolos, George S. & Richard C. Jeffrey: Computability and Logic. 3ra.
ed., Cambridge, Cambridge University Press, 1989.
Bostock, David: Intermediate Logic. New York - Oxford, Oxford
University Press, 1997.
Cassini, Alejandro: El juego de los principios. Una introduccin al
mtodo axiomtico. Buenos Aires, AZ, 2006. ISBN 950 534 840 1
Chellas, Brian F.: Modal Logic. An Introduction. Cambridge et al.,
Cambridge University Press, 1980.
Church, Alonzo: Introduction to Mathematical Logic. Princeton (N.J.),
Princeton University Press, 1956.
Cloksin, W.F. & C.S. Mellish: Programming in Prolog. 2da. ed.,
Berlin-Heidelberg-N.York, Springer-Verlag, 1984.
Crossley, J.N. et alter: Qu es la 1gica matemtica?. Trad. cast. de
J. Alcolea Banegas. Madrid, Tecnos. 1983
Curry, Haskell B: Foundations of Mathematical Logic. Nueva York,
Dover, 1977.
Dalla Chiara Scabia, Maria Luisa. Lgica. Trad. cast. de J.M. Valderas
Gallardo, Barcelona, Labor, 1976.
Davis, Martin. Computability & Unsolvability. New York, Dover, 1982.
Fernndez, G. y Sez Vaca, F.: Fundamentos de Informtica. Madrid,
Alianza, 1987.
Fitting, Melvin: First-Order Logic and Automated Theorem Proving.
New York, et al., Springer-Verlag, 1990.
Gallier, Jean H. Logic for Computer Science. Foundations of
Automatic Theorem Proving. New York, et al., John Wiley & Sons, 1987.
Gabbay, Dov & Franz Guenthner (comps.): Handbook of
Philosophical Logic. Vol. I. Dordrecht, Reidel, 1983.
8

Gabbay, Dov, C.J. Hogger & J.A. Robinson (comps.): Handbook of

Logic in Artificial Intelligence and Logic Programming. Vol 1: Logical
Foundations. Oxford, Clarendon Press, 1993.
Gamut, L.T.F.: Logic, Language and Meaning. Volume I: Introduction to Logic.
Chicago, The University of Chicago Press, 1991. Hay trad. cast. de Cecilia Durn:
Buenos Aires, Eudeba, 2001.
Hermes, Hans: Introduccin a la teora de la computabilidad.
Algoritmos y mquinas. Madrid, Tecnos, 1984
Hilton, Alice Mary: Logic, Computing Machines and Automation.
Cleveland N. York, The World Publishing Company, 1963, xxi + 427
pp.
Howson, Colin: Logic with trees. London, Routledge, 1997.
Hunter, Geoffrey: Metalgica. Introduccin a la metateorla de la
lgica clsica de primer orden. Trad. cast. de R. Fernndez Gonzlez,
Madrid, Paraninfo,. 1981
Jansana, Ramn: Una Introduccin a la lgica modal. Madrid,
Tecnos, 1990. ISBN: 84-309-1830-2.
Kleene, Stephan Cole: Introduccin a la metamatemtica. Trad. cast.
de M. Garrido, Madrid, Tecnos,1974. ISBN 84-309-0529-4.
Kleene, Stephen Cole: Mathematical Logic. Nueva York, Dover, 2002.
Klimovsky, Gregorio & Guillermo Boido: Las desventuras del
conocimiento matemtico. Buenos Aires, AZ, 2005. ISBN 950-534-796-0
Koslow, Arnold: A Structuralist Theory of Logic. Cambridge et al.,
Cambridge University Press, 1992. ISBN 0-521-41267-6
Kowalski, Robert: Lgica, programacin e inteligencia artificial. Trad.
de A. Calle. Madrid, Diaz de Santos, 1986.
Kutschera, Franz von: Elementare Logik. Viena - N.York, Springer, 1967.
Luger, George F. & William A. Stubblefield. Artificial Intelligence.
Structures and Strategies for Complex Problem Solving. Redwood City,
Cal. et al. The Benjamin/Cummings Publishing Company, 1993.
Mandrioli, D. & C. Ghezzi: Theoretical Foundations of Computer
Science. New York, John Wiley & Sons, 1987.
Moreno, Alberto: Lgica matemtica. Antecedentes y fundamentos.
3ra. ed., Buenos Aires, Eudeba, 1981.
Naishtat, Francisco S.: Lgica para computacin, Buenos Aires,
EUDEBA, 1986.
Paoli, Francesco. Substructural Logics: A Primer. Dordrecht, Kluwer,
2002.
Priest, Graham.: Una brevsima introduccin a la lgica. Mxico, Ocano, 2006.
ISBN 970-777-026-0.
Sagastume, Marta & Gabriel Baum. Problemas, lenguajes y
algoritmos. Con la col. de Guillermo Martnez. 2da. ed., Campinas,
UNICAMP-CLE, 2003.
Scarano, Eduardo R.: Los sistemas formales. Evaluacin de los sistemas
formales en ciencias fcticas. Buenos Aires, Macchi, 1982.
Scarano, Eduardo R. (comp.): Metodologa de las ciencias sociales. Lgica,
lenguaje y racionalidad. Buenos Aires, et al., Macchi, 1999.
Smullyan, Raymond: First-Order Logic. Berlin - Heildelberg- N.York,
Springer-Verlag, 1968.
9

Stahl, Gerold: Elementos de metamatemtica. Santiago de Chile,

Editorial Universitaria, 1973.
Stegmller, Wolfgang & Matthias Varga von Kibd: Strukturtypen der
Logik. Berlin - Heildelberg -N.York - Tokio, Springer-Verlag, 1984.
Tennant, Neil: Natural Logic. Edimburgo, Edinburgh University Press,
1978.
Tucker, Allen B.: Lenguajes de programacin. Trad. cast. de Jos Mara Troya
Linera. Madrid, et al., McGraw-Hill, 1987.
Tugendhat, Ernst & Ursula Wolf. Propedutica lgico-semntica. Trad. cast. de
Guillermo Hoyos. Rubi, Anthropos, 1997.
Wang, Hao: Popular Lectures on Mathematical Logic. Nueva York,
Dover, 1993.

D METODOS DE CONDUCCIN DEL APRENDIZAJE.

D.1. DESARROLLO DE LA ASIGNATURA.
Inicialmente, se tratar de familiarizar al alumno con los conceptos bsicos
que se deben dominar para poder acceder al conocimiento de las
herramientas lgicas aplicables en computacin y sistemas. Para el logro del
objetivo indicado precedentemente, es necesario que el alumno adquiera
conocimientos bsicos en el rea de razonamientos y lenguaje. En especial,
debe llegar a tener una clara idea de los conceptos de sistema simblico,
manipulacin simblica y de representacin de informacin en un lenguaje
artificial. Esto podr aplicarse entonces a los diferentes tipos de argumentos,
deductivos y no deductivos, y a las nociones para definir lenguajes formales
que permitan caracterizar el lenguaje de predicados de primer orden y sus
extensiones.
Posteriormente, se podr acceder a resultados metatericos
para caracterizar los problemas resolubles algortmicamente. De este
modo, se darn las bases para aplicar los conceptos lgicos vistos a
distintos problemas especficos como teora de la computabilidad,
circuitos lgicos, programacin lgica, razonamiento revocable, etc.
D.2. DlNMICA DEL DICTADO DE LAS CLASES.
La metodologa adoptada para el dictado de las clases es
terico-prctica. Los principales aspectos sern los siguientes:
- Los profesores explicarn al comienzo de cada clase los conceptos
esenciales de cada tema.
- Los alumnos tendrn total libertad para interrumpir a los docentes y
solicitar aclaraciones cuando las explicaciones no sean lo
suficientemente claras.
- Los docentes mostrarn a los alumnos la solucin de problemas
modelo que den lugar a la aplicacin de los conceptos introducidos
en clase. Luego sern seleccionados otros problemas para resolucin
por parte de los alumnos de manera que posibiliten la ejercitacin de
los conceptos, y la resolucin de los problemas que los incluyen.
10

- Se implementarn trabajos prcticos a desarrollar con los auxiliares

docentes.
E. METODOS DE EVALUACION.
Los mtodos se ajustarn a la resolucin CD 638/plan de estudios con
fecha 23/6/98. El criterio es que la evaluacin del alumno es
permanente. Se tomarn dos exmenes parciales terico-prcticos
pudiendo acceder a un recuperatorio. Las notas de los parciales
representan los resultados de la evaluacin terico-prctica. Los
exmenes parciales y sus recuperatorios sern escritos.
E.1. RGIMEN DE APROBACIN DE LA MATERIA.
Para la aprobacin de la materia debern tener TODOS los parciales
aprobados, teniendo la posibilidad de recuperar solo UNO de ellos.
Se colocar una nota adicional, en funcin del concepto que le
merezca el alumno a la ctedra. La suma de la nota de los parciales,
recuperatorios y la nota conceptual representa la nota final.
E2. REQUISITOS PARA ALUMNOS LIBRES.
Los exmenes para los alumnos libres comprendern tres exigencias.
- Interrogatorio sobre aspectos tericos de la materia.
- Realizacin de una prueba escrita acerca de conceptos tericos
fundamentales y ejercicios prcticos.
Aprobar cada uno de ellos es condicin para promocionar el
examen libre.
Prof. Dr. Javier Legris
Profesor titular

11