LÓGICA SIMBÓLICA - CEX208

Fundamentación:
El contenido de esta asignatura prepara al alumno en el uso y aplicación de las herramientas de software de
tratamiento de información aplicables en la vida profesional y personal. La Lógica simbólica contribuye a
transformar expresiones del lenguaje coloquial en expresiones formales que se presentan de forma general para
luego poder aplicarla en problemas específicos de la vida real o profesional.

Objetivos:
Generales
Adquirir habilidades que le permitan transformar expresiones del lenguaje coloquial en expresiones formales, y
manipularlas adecuadamente.

Específicos
Reconocer la simbología y operatoria elemental de la lógica proposicional y de predicados
Distinguir entre argumentos válidos y no válidos
Relacionar entre sí los sistemas vistos (lógica proposicional, de predicados, conjuntos y circuitos lógicos)
Relacionar los sistemas vistos con situaciones profesionales (programación, especificación,
verificación/demostración).

Competencias:
Genéricas:

- Conocimientos curriculares y técnicos de la profesión

- Gestión de la Información y el conocimiento.

- Razonamiento Lógico

- Resolución de Problemas

- Trabajo en equipo y colaborativo.

Específicas:

- Dominio para diseñar soluciones apropiadas a diversos dominios de

aplicación, utilizando los principios y métodos propios de la ingeniería de
software

Contenidos:
1 - LÓGICA PROPOSICIONAL - MODULO 1

1.1 - Introducción a la lógica: el lenguaje formal y el lenguaje coloquial - MODULO 1

1.2 - Definición de Proposición: valores de Verdad; expresiones que no constituyen

proposición. Proposiciones simples y compuestas. - MODULO 1

1
 1.3 - Conectivos Lógicos: Negación, conjunción, disyunción inclusiva, disyunción
exclusiva, condicional, bicondicional (o equivalencia), negación - MODULO 1

1.4 - Elementos de lógica preposicional: Enfoque sintáctico y semántico (Simbolización

de expresiones del lenguaje corriente) - MODULO 1

1.5 - Tablas de verdad. Tautología, Contradicción. Contingencia. Satisfactibilidad

(ejemplo, contraejemplo) - MODULO 1

1.6 - Axiomas y teoremas de cada conector. Negación de proposiciones compuestas

(Leyes de De Morgan) - MODULO 1

1.7 - Equivalencias Lógicas. Técnicas de prueba: Estructura de las Pruebas formales,

simplificación de fórmulas y demostraciones. - MODULO 1

2 - RAZONAMIENTO DEDUCTIVO - MODULO 2

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

MODULO 2

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

2.3 - Leyes de Inferencia - MODULO 2

2.4 - Demostración de validez/invalidez con tablas de verdad, leyes de inferencia y/o

equivalencia de fórmulas - MODULO 2

3 - LÓGICA DE PREDICADOS - MODULO 3

3.1 - Elementos de lógica de primer orden: Enfoque sintáctico y semántico. Definición de

Función Proposicional. - MODULO 3

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

del cuantificador, variables libres/ligadas, fórmulas abiertas/cerradas. - MODULO 3

3.3 - Proposiciones categóricas: Universales afirmativas, universales negativas,

particulares afirmativos y particulares negativos. Equivalencias - MODULO 3

3.4 - Simbolización de expresiones del lenguaje corriente. Satisfactibilidad (ejemplo,

contraejemplo) - MODULO 3

3.5 - Negación de proposiciones categóricas simples y compuestas - MODULO 3

3.6 - Silogismo categórico. Método analógico. - MODULO 3

3.7 - Técnicas de prueba: Estructura de las Pruebas formales. Deducción natural: leyes
de inferencia; demostración de validez de silogismos. - MODULO 3

4 - TEORÍA DE CONJUNTOS Y ÁLGEBRA DE BOOLE - MODULO 4

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

Representación gráfica - MODULO 4

2
 4.2 - Operaciones con conjuntos. Relaciones. Relación entre conjuntos y clases. -
MODULO 4

4.3 - Relación de conjuntos con la lógica de predicados y la lógica proposicional. -

MODULO 4

4.4 - Algebra de Boole: Definición Propiedades. - MODULO 4

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

MODULO 4

5 - CIRCUITOS LÓGICOS - MODULO 4

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

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

5.3 - Circuitos combinatorios. Equivalencia con la lógica proposicional. Representación

gráfica en circuitos de las fórmulas lógicas. - MODULO 4

Bibliografía:
Básica:

- Murillo Tsijli, M. ; 2010; Introducción a la Matemática Discreta. ; Costa Rica; Instituto Tecnológico de Costa
Rica.

- Johnsonbaugh, R. ; 2012; Mateméticas discretas. ; 6°; Pearson.

Recursos:
Contenidos y materiales multimediales en plataforma.
Bibliografía obligatoria.
Buscadores vinculados a la profesión

Carga Horaria:
La carga horaria semestral dedicada al dictado de la asignatura es de 96 horas reloj.

Descripción Analítica de las Actividades Teóricas y Prácticas:

Metodología:
Las clases se organizarán tomando como base el material incluido en la bibliografía seleccionada. Las clases se
desarrollarán a partir de las explicaciones relativas a los temas del programa por parte del profesor y de las
intervenciones por parte de los alumnos. Así mismo los alumnos desarrollaran actividades como protagonistas
del aprendizaje activo.
La metodología que prevé esta materia, es a través del recorrido de los materiales multimediales puestos a
disposición, plataforma que permite el intercambio continuo con el docente.

Forma de Evaluación:

3
En esta materia se evalúa el proceso de aprendizaje del alumno a través de las tareas realizadas por ellos en
las fechas estipuladas institucionalmente.
La aprobación, se determina en función al cumplimento de los criterios de evaluación especificados. Estos
criterios se basan en tres áreas claves/críticas: cumplimiento de tiempos de entrega (según cronograma),
cumplimento de las especificaciones de forma del entregable y nivel de logro de las competencias vinculadas a
esta materia.
La condición de regularidad de esta materia, se define según lo establecido en el Reglamento Institucional, de
acuerdo a la condición del alumno (Regular, Libre, Promocionado).