UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO

FACULTAD DE CIENCIAS EXACTAS

Y TECNOLOGAS

Carrera:
. .. _-..._-
Licenciatura en Matemtica

ASIGNATURA: LGICA MATEMATICN

Equipo Docente :
Rosa Llugdar I tJ

Francisco Javier Vera. ?

Lucia B. Hila! de Cortz. } (1 .eve.1)

AO 2008
-

PROGRAMA DE ESTUDIO DE LOGICA MATEMATICA

I.IDENTIFICACIN:

1.1. Asignatura: LGICA MATEMATICA.

1.2. Carrera: LICENCIATURA EN MATEMATICA.
1.3 Ubicacin de la Asignatura
1.3.1 Mdulo: .Primero.
1.3.2 Correlativas anteriores: No corresponde
1.3.3 Correlativas posteriores:

1.5 Contenidos establecidos en el Plan de Estudios

La Lgica contempornea. Nociones intuitivas. Proposiciones y conectivos lgicos. Algebra de

Boole. Frmulas proposicionales. Formas proposicionales. Cuantificadores. Razonamientos.
Procedimientos de pruebas de validez. Nociones sobre sistemas sintcticos y semnticos.
Interpretaciones y modelos.

1.6. Carga Horaria

Semanal 5 horas total: 75

1.7 Ao acadmico: 2008

2.PRESENTACIN:

2.1. Ubicacin de la Asignatura

Lgica es una asignatura que incluye conocimientos bsicos sobre la formalizacin del clculo
de proposiciones y de predicados. Contiene conceptos elementales sobre la lgica de
proposiciones, la teora de la cuantificacin, la teora de relaciones y nociones sobre sistemas
sintcticos y semnticos.

2
 2.2. Conocimientos y habilidades previas

Los prerequisitos sobre conocimientos y habilidades para cursar la asignatura son los adquiridos
en el nivel secundario, sobre esquemas bsicos de razonamientos y de operaciones lgicas en el
clculo proposicional.

3.0BJETIVOS :

3.1. Objetivos generales

Que el estudiante:

3.1.1. Relacione, vincule, y transfiera los conceptos bsicos sobre lgica de proposiciones,
razonamientos y la teora de la cuantificacin.

3.1.2. Adquiera adiestramiento para representar formas lgicas.

3.1.3. Desarrolle su capacidad de razonamiento.

3.1.4. Comprenda la importancia de la lgica como herramienta.

3.1.5 Identifique las relaciones binarias, las clasifique y estudie las propiedades que las
t~ caracterizan.

3.2. Objetivos especficos

Que el estudiante:

3.2. 1. Desarrolle conocimientos bsicos sobre el clculo proposicional a dos valores.

3.2.2. Se adiestre en la operacin de los valores de verdad de frmulas lgicas.

3.2.3. Identifique formas de razonamientos elementales, como partes esenciales de la teora de la

demostracin.

3
 3.2. 4. Sea capaz de abstraer la forma lgica de los razonamientos y determinar la validez.

3.2.5. Adquiera habilidad para el manejo del clculo de predicados.

3.2. 6. Relacione el clculo de predicados con la teora de la cuantificacin.

3.2.7. Conozca sistemas lgicos elementales.

3.2.8. Adquiera nociones bsicas sobre sistemas semnticos y sintcticos.

3.2.9. Analice los componentes de las relaciones binarias.

3.2.10. Represente en lenguaje simblico a las relaciones binarias

3.2.11 Identifique las vinculaciones entre las propiedades que caracterizan a ias relaciones
binarias
3.2.12 Opere con relaciones binarias

4. PROGRAMACIN DE LOS CONTENIDOS:

4.1. Programacin sinttica.

(~j;~ Captulo 1:

.CLCULO PROPOSICIONAL

Proposiciones y conectivos lgicos.

Algebra de proposiciones. Algebra de Boole en el Clculo Proposicional.
Razonamientos. Mtodos para determinar la validez de una razonamiento

Captulo 2:

CLCULO DE PREDICADOS Y TEORA DE RELACIONES

Formas proposicionales.
4
 Teora de la cuantificacin.
Teora de relaciones. Relaciones binarias.
Teora de la identidad.

Capitulo 3:

SISTEMAS AXIOMTICOS

Sistemas Axiomticos.
Nociones sobre sistemas semnticos y sintcticos. .

.' ,
-,

5
4.2 Articulacin Temtica

OPERACIONES DEL
CALCULO
PROPOSICIONAL

FORMULAS LOGICAS

LEYES LOGICAS

RAZONAMIENTOS
METODOSDE
VALIDEZ
PROPOSICIONES
SINGULARES
PROPOSICIONES
GENERALES
FORMAS
PROPOSICIONALES

TEORIADELA
CUANTIFICACION

PREDICADOS
RELACIONES
MONADICOS
DIADICOS

SISTEMAS
AXIOMATICOS
I TEORIA DE LA IDENTIDAD

6
 4.3.Programacin analtica:

Capitulo 1:

CLCULO PROPOSICIONAL
{
.Proposiciones y valores de verdad: I
Proposicin. Definicin. Concepto. Clasificacin. Proposiciones Simples y Compuestas
Representacin simblica. Componentes de una proposicin. Relacin entre representacin
simblica, significado de una proposicin y valores de verdad. Proposiciones compuestas. . .
,. :.;.' ,

\ / :( Representacin simblica. Frmulas lgicas. Reglas de buena formacin de frmulas lgicas .

. Conectivas: Negacin, Conjuncin, disyuncin inclusiva y exclusiva, Condicional, Condicional
contrario, recproco, contrarrecproco. Condicin necesaria y suficiente; y Bicondicional..
Definicin por tablas de verdad y representacin simblica. Signos de puntuacin y jerarquas de
conectivas. Reglas sintcticas de buena representacin de frmulas. Algebra de Boole en el
Clculo proposicional
Clasificacin de frmulas lgicas por su significado: Tautologas, contradicciones y
contingencias. Tautologas y Leyes del clculo propocisional. Implicacin y equivalencia lgica.
Formas Normales.

(~~~~) Propiedad de las Proposiciones:

Idempotencia. Conmutativa. Asociativa. Absorci1:l.Distributivid~d de la disyuncin con

respecto a la conjuncin. Leyes de DeMorgan.

Razonamientos Deductivos:

Definicin. Componentes: premisas, conclusin y expresiones derivativas. Forma lgica de un

razonamiento. Validez de un razonamiento. Razonamiento vlido y forma vlida de un
razonamiento. Relacin entre la conclusin ylas premisas en una forma de razonamiento vlido.
Mtodos para decidir la va1idez de un razonamiento: condicional asociado, condicional asociado
reducido y mtodo del rbol, mtodo demostrativo. Formas de razonamiento vlidas
elementales.
7
Captulo 2:

cLCULO DE PREDICADOS Y TEOR A DE RELACIONES

Formas proposicionales:
Formas proposicionales. Definicin. Componentes. Universo del discurso. Representacin
simblica. Variables de individuo y variables de enunciado. Relacin entre universo y conjunto
de verdad de una forma proposicional. Frmulas proposicionales y proceso de transformacin en
proposiciones singulares y generales. Formas proposicionales mon dicas, didicas y n-dicas.

Teora de la Cu anti ficaci n:

Cuantificador universal y cuantificador existencial. Alcance de un cuantificador. Variables libres
y variables ligadas. Representacin simblica. Formulas Lgicas. Forma correcta de una frmula
lgica. Condiciones para que una frmula lgica represente una proposicin. Negacin de
proposiciones cuantificadas. Equivalencia de proposiciones cuantificadas universalmente y
existencialmente. Leyes de distribucin de cuantificadores. Ley de subaltemacin. Proposiciones
generaies complejas categricas. Razonamientos directos. Reglas de derivacin. Predicados
polidicos. Proposiciones generales con predicados polidicos. Ley de intercambio de
cuantificadores. Conmutacin de cuantificadores.
\ ..

Teo r a de r ela ciones:

Teora de Relaciones. Dominio y codominio. Relaciones y formas proposicionales a dos

variables. Clculo de Relaciones. Operaciones entre relaciones. Leyes lgicas de relaciones:
.
vlidas de la teora de conjuntos y propias de los enunciados relacionales. Propiedades de las
relaciones: Reflexividad. Simetra. Transitividad. Conexidad . Clasificacin de relaciones:
equivalencia, orden. Funciones.

Teora de la identidad:

Ley de Leibnitz. Propiedades: Reflexiva, simtrica, transitiva, ley de identidad comparada.

Capt ulo 3:

SISTEMAs AXIOl\iTICOS
8
 Sistemas Axiomticos:

Definicin, propiedades. Compatibilidad. Independencia. Completitud y Categoricidad.

Interpretaciones y Modelos.

Sintaxis del Clculo Proposicional:

Nociones sobre el lenguaje. Alfabeto. Reglas de Formacin. Cadenas. Expresiones bien

formadas. Definicin sintctica del Clculo proposicional. Gramtica. Alfabeto del lenguaje.
.Signos variables y signos constantes Expresiones. Axiomas. Esquemas de Axiomas. Formas .
~: ',:;ii( enunciativas Reglas de inferencia y Reglas Derivadas Definiciones Teoremas. Demostraciones y
Deducciones. Conjunto adecuado de conectivas.

Semntica del Clculo Proposicional:

Definicin semntica del Clculo Proposicional. Alfabeto del lenguaje. Funciones de verdad de
argumentos unarios y binarios. Interpretaciones de un Sistema Axiomtico y Modelos.
Consistencia semntica del Clculo proposicional Frmulas satisfacibles y Validez semntica de
frmuias.

4.4 Programa y cronograma de Trabajos Prcticos

Trabajo Prctico Tema Cronograma (en semanas)

N

1 Clculo Proposicional Primera, segunda y tercera

2 Razonamientos en el
Clculo Proposicional Cuarta, quinta y sexta

3 Cuantificadores Sptima, octava, novena y dcima

 4 Teora de Relaciones y Undcima, duodcima y decimotercera
Teora de la Identidad.
Sistemas Axiomticos

s. BIBLIOGRAFIA

S.l Bibliografa general

'1 Garca, J. Luis - 1'997- Matemticas Especiales' para Computacin.- El Ateneo - Buenos Aires
J Gorbatov, V. A. - 1992 - Fundamento de la Matemtica Discreta -Editorial Mir -Mosc
\ Rojo, Armando - 1995 - Algebra - El Ateneo. Buenos Aires
f Hamilton. De.- 1989 - Lgica para Matemticos - Paraninfo. Buenos Aires
< Cuena. J - 1997 - Lgica Informtica- Alianza Informtica - Madrid - Espaa

Smiith Karl J. - 1999 - Introduccin a la Lgica Simblica.- - Ed. Iberoamericana.- Mxico

j.. Feys, Fitch - 1994 - Los Smbolos de la Lgica Matemtica - Paraninfo - Buenos Aires
Bochenski, R. S. - 1974 - Compendio de Lgica Matemtica.- Edit. Mir - Mosc
Moreno, J8 - 1979 -Metalgica ( Introduccin a la Metateora de la Lgica Clsica de Primer
Orden).- Paraninfo.- Buenos Aires
Lipschutz, Seymur- 1995- Matemticas para Computacin.- Me, Graw Hill- Buenos Aires
Moreno, Alberto- 1987- Lgica Matemtica.- Eudeba - Buenos Aires

~~~A) S.2 Bibliografa especifica

Tarsky, Albert- 1990 - Introduccin a la Lgica - Edit. Kapeluz- Buenos Aires

Korthage, Robert - 1987- Lgica y Algoritmos. Editorial Ateneo - Buenos Aires
Saiama, Alicia G. - 1996 - Lgica Simblica y Elementos de Metodologa de las Ciencias Edit.
Ateneo - Buenos Aires.
Copi l. - 1996 -Lgica Simblica - Edit, Continental- Mxico.
Agazzi, Evandro - 1990 - La lgica Simblica - E. Herder- Barcelona.
Trejo, J - 1994 - Matemtica Elemental Moderna. Estructura y Mtodo. Eudeba - Buenos Aires

6. ESTRATEGIAS METODOLOGICAS

io
 __
... . .. __._- - - - - - - - - - - - - - - - - - -

6.1 Aspectos pedaggicos y didcticos

El desarrollo del curso prev la realizacin de las siguientes actividades:

Clases tericas: en las que se efectuarn la presentacin de la problemtica general a
desarrollar, los temas globales que abarcan cada unidad y la presentacin de la lista de problemas
que se deben resolver durante los encuentros con miembros del equipo docente.
Clases terico - prcticas: en las que los alumnos trabajan alternativamente en forma
individual y en grupo con la asistencia de los docentes, material bibliogrfico y guas de
problemas con orientaciones para su resolucin.
Clases de consulta: en las que el alumno requiere la asistencia de miembros del equipo
docente para resolver situaciones de aprendizaje vinculadas a las guas y al programa propuesto.

6.2 Actividades de los alumnos

El desarrollo de las actividades programados para los encuentros presenciales en las clases y
para las tareas de los alumnos fuera de ese mbito, requiere la participacin activa de los
mismos para lograr los objetivos de conocimientos, aptitudes y destrezas propuestos.
El alumno desde la propuesta del equipo docente, es el que marca su ritmo de aprendizaje, que
deber manifestarse a travs de: su produccin en los trabajos de resolucin de las guas de
problemas, en el desarrollo de los modelos tericos, en la realizacin de los trabajos de
aplicacin en grupo e individuales, en la intervencin en las evaluaciones orales y escritas y en la
~t;~;\ contribucin para la realizacin actividades de investigacin sobre temas indicados en las guas
de problemas.
La estrategia a utilizar es la que trata de vincular los intereses en el conocimiento expresados por
los alumnos desde sus experiencias personales y la con las propuestas del curso. Para ello los
problemas que se proponen en las guas de aprendizaje, para que sean resueltos podas mismos,
vinculan interactivamente la teora y la prctica, desde el campo conceptual, lingstico y
metodolgico.

6.3 Actividad de los docentes

Los docentes, desde la propuesta de actividades expresadas, orientan el trabajo de los alumnos en
funcin de los objetivos, tratando de que adquieran las competencias que se proponen en la
programacin. Para ello se trata reconocer las necesidades individuales de cada uno vinculadas a
1
la asignatura, mediante las evaluaciones individuales y grupales que se efectan en el transcurso
de las clases, el desarrollo de temas terico prcticos en respuesta a las demandas personales y la
sugerencia especial y orientada de actividades.
Se los asiste en la bsqueda de temas especficos en el material bibliogrfico sugerido, se los
orienta en la metodologa analtica y deductiva para incursionar en los componentes de un
problema, en la validez de demostraciones y en la definicin de vinculaciones entre temas de la
disciplina y con otra disciplina en relacin con las incumbencias del plan de estudios.

7 EVALUACION

7.1 Evaluacin diagnstica

Al comienzo del curso se efecta una evaluacin que permita tener informacin sobre los
conocimientos que los alumnos poseen sobre: Lgica proposicional, uso de operadores,
representacin en lenguaje simblico, conceptos sobre razonamiento.

7.2 Evaluacin formativa

Durante el desarrollo de los encuentros presenciales en las clases, a .trav s del trabajo que
realizan los alumnos orientados por las guas de trabajos prcticos, los docentes efectan el
seguimiento de los alumnos para ayudarlos a superar los obstculos que encuentran.

7.3.1 Programa y cronograma de evaluaciones parciales

Parcial N Temas Cronograma

1 Calculo proposicional
Razonamientos y Formas
Proposicionales 3a Semana de Mayo

2 Teora de la Cuantificacin
Relaciones y Sistemas
Axiomticos la Semana de Julio
12
 Recuperatorios
Parcial N

1 'J.a Semana de Julio

2 2a Semana de Julio
Integral 2a Semana de Julio

7.3.2 C riterios de evaluacin

Los criterios que se utilizaran para la evaluacin son:

'\ /:i( Identificacin y reconocimiento de conceptos. Precisin y ngor en el uso de lenguajes
formalizados. Transferencia de conceptos, aplicacin de propiedades, utilizacin de tcnicas y
procedimientos para la solucin de problemas.
Integracin y vinculacin entre distintos conceptos del curso en la disciplina y con otras
disciplinas.

7.3.3 Escala de valoracin:

Requisitos para la obtencin de la regularidad

Se efectuarn en el transcurso del curso dos evaluaciones parciales. Cada evaluacin ser escrita
t(e;~
'- ;
y de carcter terico prctico. La primera, considera los temas del programa hasta Teora de la
Cuantificacin incluida. La segunda al final del curso. Los alumnos obtendrn la regularidad con
la aprobacin de las dos evaluaciones parciales o en su defecto con la aprobacin del parcial
recuperatorio.

Integradora: Al final del curso, en los turnos de exmenes habilitados al efecto, se evaluar a los
alumnos que hayan obtenido, la regularidad, mediante un examen final integrador.

8. PROGRAMACION y DESCRIPCION y DESCRIPCION DE LAS ACTIVIDADES:

La asignatura se desarrollar mediante clases terico - prcticas (5 horas semanales), en las que
los docentes efectuarn exposiciones sobre ios ejes temticos principales de los contenidos a
desarroliar con la participacin de los alumnos, y se utilizar la tcnica de trabajo en grupo para
13
el desarrollo de las actividades sugeridas a los alumnos en los encuentros con profesores para la
resolucin de problemas terico prcticos durante el desarrollo de los encuentros en las clases
semanales.

14