13/07/2016 1.

05 PM

ESTADO: 1

PROGRAMA DE LA MATERIA LÓGICA SIMBÓLICA

Objetivos Desarrollar capacidades para:

Generales de Reconocer la simbología y operatoria elemental de la lógica simbólica.
la Materia: Distinguir entre argumentos válidos y no válidos.
Expresar ideas de manera clara y precisa.
Elaborar argumentos en forma rigurosa y analizarlos críticamente.
Reconocer estructuras lógicas en distintas estructuras del pensamiento, en particular, en
aquellas vinculadas con su especialidad.

Unidades, temas y subtemas

1- Lógica Proposicional

1.1- Introducción a la lógica. El lenguaje formal y el lenguaje corriente

1.2- Proposición: Definición. Valores de Verdad. Expresiones que no constituyen proposición. Proposiciones simples y compuestas.

1.3- Conectivos Lógicos: Negación, conjunción, disyunción inclusiva, disyunción exclusiva, condicional, bicondicional.

1.4- Simbolización de expresiones del lenguaje corriente

1.5- Tablas de verdad.

1.6- Tautología, Contradicción. Contingencia.

1.7- Equivalencias Lógicas

1.8- El condicional: recíproca, contraria y contrarecíproca.

1.9- Leyes de De Morgan. Negación de proposiciones compuestas

2- Razonamiento Deductivo

2.1- Razonamiento Deductivo: Definición. Estructura. Premisas y Conclusión

2.2- Razonamientos deductivos válidos y no válidos

2.3- Implicación lógica

2.4- Leyes de Inferencia

3- Lógica de Predicados

3.1- Función Proposicional: Definición

3.2- Cuantificadores lógicos: Cuantificador universal, cuantificador existencial.

3.3- Proposiciones categóricas: Universales afirmativas, universales negativas, particulares afirmativas y particulares negativas.
Equivalencias
3.4- Negación de proposiciones categóricas simples y compuestas

4- Teoría de Conjuntos y Álgebra de Boole

4.1- Conjuntos: Definición, notación.

4.2- Conjuntos especiales, subconjuntos.

4.3- Operaciones con conjuntos. Relaciones. Relación entre conjuntos y clases.

4.4- Algebra de Boole: Definición Propiedades.

 4.5- Expresiones Booleanas. Funciones Booleanas. Tablas de verdad para clases.

5- Circuitos Lógicos

5.1- Introducción a los circuitos lógicos.

5.2- Circuitos lógicos simples (compuertas lógicas).

5.3- Circuitos combinatorios. Propiedades de los circuitos combinatorios. Equivalencia con la lógica proposicional. Representación
gráfica en circuitos de las fórmulas lógicas.

Metodología: Las clases programáticas tendrán carácter teórico - práctico. El docente propiciará la
participación activa del alumno, mediante el planteo de situaciones problemáticas y ejercicios
de aplicación; ello permitirá al estudiante adquirir certezas y formular interrogantes que
servirán como punto de partida para lograr el conocimiento. En cada unidad, el profesor
expondrá los conceptos a desarrollar de manera abreviada o resumida lo cual permitirá
introducir el vocabulario y simbología específicos a utilizar, para luego pasar al desarrollo
detallado de los mismos, estableciendo relación y conexión con conocimientos anteriores.
Durante las clases de seminario el alumno resolverá ejercicios tanto obligatorios como
sugeridos; las actividades serán en algunos casos individuales y en otros grupales, contando
siempre con la posibilidad de consultar al docente; ello reforzará los conocimientos ya
adquiridos durante las clases programáticas y contribuirá a la comprensión integral de la
asignatura y sus objetivos.

Bibliografía básica
Título 1: "Matemáticas Discretas y Combinatoria" - 1. Ralph P. Grimaldi - s/d - 2000 - s/d - Argentina

Título 2: "Matemáticas Discretas" - 2. Ross, K. A. y Wright Ch. R. B - s/d - 2000 - s/d - Argentina

Bibliografía ampliatoria
Bibliografía: Copi, I. M. "Introducción a la Lógica".

Elementos NO PRESENTA
permitidos
para rendir: