ASIGNATURA: LÓGICA COMPUTACIONAL

CONTENIDO PROGRAMÁTICO:
UNIDAD 1: Lógica Proposicional

 Definiciones básicas: proposición, conectivos lógicos (negación, disyunción,

conjunción, condicional, doble condicional), fórmula proposicional, implicación,
doble implicación, premisa, conclusión, razonamiento.
 Métodos semánticos: tablas de verdad, árboles semánticos y demostración por
contradicción.
 Interpretación de una fórmula proposicional: satisfactoria, tautológica o
contradictoria.
 Modelación en lógica proposicional.
 Equivalencias e implicaciones lógicas. Reglas de inferencia básicas y teoremas
básicos.
 Derivaciones (o inferencia lógica) con proposiciones usando el método de
Fitch.
 Formas normales: disyuntiva (FND) y conjuntiva (FNC).

UNIDAD 2: Lógica de Predicados

 Definiciones básicas: predicado, variable, constante, cuantificador universal,

cuantificador existencial, fórmula cuantificacional.
 Validación de fórmulas cuantificacionales dado el dominio (tablas de verdad).
 Modelación en lógica de predicados.
 Reglas de inferencia básicas y teoremas básicos en lógica de predicados.
 Derivaciones (o inferencia lógica) con predicados y cuantificadores usando el
método de Fitch.

UNIDAD 3: Teoría de Conjuntos y Relaciones Binarias

 Noción de conjunto, elemento de un conjunto y la relación “pertenece a”.

 Determinación de un conjunto por extensión y por comprensión.
 Los conjuntos numéricos, el conjunto universal y el conjunto vacío.
 Cardinal de un conjunto finito.
 Inclusión, igualdad e inclusión propia de conjuntos.
 Operaciones con conjuntos (complemento, unión, intersección, diferencia y
diferencia simétrica).
 Propiedades de la inclusión, la igualdad y las operaciones con conjuntos.
 Conjuntos disjuntos.
 Conjunto potencia o conjunto de partes de un conjunto. Propiedades.
 Partición de un conjunto.
 Pares ordenados. Producto cartesiano.
 Relaciones binarias. Dominio y rango de una relación binaria.
 Propiedades de una relación binaria: reflexividad, irreflexividad, simetría,
antisimetría, asimetría, transitividad y completitud.
 Relaciones inversas. Composición de relaciones.
 Relaciones de equivalencia. Clases de equivalencia y conjuntos cocientes.
Teorema fundamental de las relaciones de equivalencia.
 Relaciones de orden: parcial, total y estricto.