Posterior:
Semántica
Arriba:
Lógica Matemática (Un enfoque
Anterior:
Programas
Cálculo proposicional
Cálculo proposicional
Subsections
Semántica
Valores de verdad
Asignaciones
Reglas de propagación de valores de verdad
Formas conjuntivas y formas disyuntivas
Cláusulas y frases signadas
Cálculo de consecuencias lógicas
Formalización de problemas de lógica
Optimización de formas conjuntivas y disyuntivas
Mapas de Karnaugh
Algoritmo de Quine-McCluskey
Ejercicios
Sintaxis
Cálculo proposicional formal
Cálculo proposicional formal en enfijo
Cálculo proposicional booleano
Reglas convencionales de buena formación
Deducción natural
Ejercicios
Coherencia y completitud
Teorema de coherencia
Teorema de completitud
Procedimientos de demostración automática
Pruebas por refutación
Tablas de verdad
Encadenamiento hacia atrás
Decisión de refutabilidad y satisfactibilidad
Transformación a forma normal conjuntiva
Transformación a forma normal disyuntiva
Algoritmo de Wang
Representación matricial
Algoritmo de Davis y Putnam
Resolución lineal
Programas
Guillermo Morales-Luna
2004-07-27
