• PORTADA
  • Introducción
  • Unidad I. Lógica de Proposiciones
    • 1.1 El lenguaje formal de la lógica de proposiciones
      • 1.1.1 Definición
      • 1.1.2 Antecedentes históricos
    • 1.2 Sintaxis
      • 1.2.1 El alfabeto de las proposiciones
      • 1.2.2 La sintaxis de las proposiciones
      • 1.2.3 Construcción de enunciados en la lógica proposicional
    • 1.3 Semántica
      • 1.3.1 Valores de verdad de fórmulas atómicas
      • 1.3.2 Semántica de las conectivas lógicas
      • 1.3.3 Valores de verdad de fórmulas complejas
        • 1.3.3.1 Tautologías
        • 1.3.3.2 Contradicciones
        • 1.3.3.3 Contingencias
      • 1.3.4 Equivalencias y leyes
    • 1.4 Formas estándares de las expresiones lógicas
      • 1.4.1 Disyunción de conjunciones y conjunción de disyunciones
      • 1.4.2 Forma normal disyuntiva y conjuntiva
      • 1.4.3 Determinación de las formas normales completas a partir de la tabla de verdad
    • 1.5 Sistemas deductivos
      • 1.5.1 Deducción natural
      • 1.5.2 Resolución
      • 1.5.3 Tablas semánticas
    • 1.6 Aplicaciones de la lógica de proposiciones
      • 1.6.1 Búsquedas booleanas
      • 1.6.2 Verificación de programas
        • 1.6.2.1 Instrucciones condicionales
        • 1.6.2.2 Bucles
    • Actividades
    • Autoevaluación
  • Unidad II. Lógica de Predicados
    • 2.1 El lenguaje formal de la lógica de predicados
      • 2.1.1 Definición
    • 2.2 Sintaxis
      • 2.2.1 El alfabeto de los predicados
        • 2.2.1.1 Términos
        • 2.2.1.2 Predicados
        • 2.2.1.3 Literal
        • 2.2.1.4 Cláusula
      • 2.2.2 La sintaxis de los predicados
    • 2.3 Semántica
      • 2.3.1 Interpretaciones
      • 2.3.2 Asignaciones
      • 2.3.3 Satisfacción
    • 2.4 Sistemas deductivos
      • 2.4.1 Cuantificador universal
      • 2.4.2 Cuantificador existencial
    • 2.5 Formas estándares (Normales)
      • 2.5.1 Forma normal de Skolem
      • 2.5.2 Forma normal Prenex
    • 2.6 Aplicaciones de la lógica de predicados
      • 2.6.1 Programación lógica
      • 2.6.2 Representación del conocimiento en la inteligencia artficial
    • Autoevaluación
  • Unidad III. Programación Lógica
    • 3.1 Fundamentos de la programación lógica
      • 3.1.1 El paradigma de la programación lógica
      • 3.1.2 Programación declarativa vs programación algorítmica
      • 3.1.3 Lenguajes de programación lógica
    • 3.2 Sintaxis
      • 3.2.1 Notación de cláusulas
      • 3.2.2 Cláusulas de Horn
    • 3.3 Semántica operacional
      • 3.3.1 Resolución
      • 3.3.2 Árboles de búsqueda
    • 3.4 Ejemplos de aplicación
    • Autoevaluación
  • Unidad IV. Álgebra de Boole y Circuitos Lógicos
    • 4.1 Definición del álgebra booleana
      • 4.1.1 Elementos
      • 4.1.2 Operadores (complemento, suma y producto booleano)
      • 4.1.3 Leyes y/o propiedades del álgebra booleana (conmutativas, asociativas, distibutivas, de DeMorgan, etc.)
    • 4.2 Compuertas y circuitos lógicos
      • 4.2.1 Compuertas lógicas
        • 4.2.1.1 Compuertas AND, OR y NOT
        • 4.2.1.2 Compuertas NAND y NOR
        • 4.2.1.3 Compuertas OR-Exclusivo y NOR-Exclusivo
      • 4.2.2 Redes de compuertas
      • 4.2.3 Elaboración de una tabla de verdad
    • 4.3 Formas estándares de las expresiones booleanas
      • 4.3.1 Suma de productos y producto de sumas
      • 4.3.2 Forma estándar de la suma de productos y del producto de sumas
      • 4.3.3 Determinación de las formas canónicas a partir de una tabla de verdad (Minitérminos y maxitérminos)
    • 4.4 Simplificación de funciones mediante álgebra booleana
    • Autoevaluación
  • Evaluación General
  • Glosario
  • Referencias bibliográficas
  • Créditos