Pruebas por Inducción: Reglas Generalizadas de De Morgan y Distribución RESUMENEn esta clase se aborda el tema de las pruebas por inducción en matemáticas y lógica proposicional. Se explican los dos tipos de pruebas existentes: las pruebas internas o deductivas que se basan en las reglas de la lógica, y...
Inducción sobre la Complejidad de las Fórmulas RESUMENEn esta clase aprenderás sobre una variante de la inducción matemática, conocida como "inducción sobre la complejidad de las expresiones", la cual es muy útil para demostrar propiedades en la lógica proposicional. A través de un ejemplo sencillo, el teorema de sustitución, verás...
Formas Normales y sus Propiedades RESUMENLa lógica proposicional es una herramienta fundamental en la matemática y la informática. En esta clase, se presentará un resultado interesante y útil relacionado con las formas normales. Para ello, se definirán los conceptos de literal, forma normal conjuntiva (FNC) y forma normal disyuntiva (FND)....
Algoritmo Forma Normal y Aplicaciones RESUMENEn esta clase revisaremos el algoritmo FND/FNC, el cual nos permitirá encontrar, a partir de cualquier expresión de la lógica proposicional, su expresión equivalente en forma normal conjuntiva o disyuntiva. Comenzaremos explicando los tres pasos que componen este algoritmo, los cuales consisten en la eliminación...
