Categoría: Lógica Proposicional

Formas Normales y sus Propiedades RESUMENLa lógica proposicional es una herramienta fundamental en la matemática y la informática....

Inducción sobre la Complejidad de las Fórmulas RESUMENEn esta clase aprenderás sobre una variante de la inducción matemática,...

Pruebas por Inducción: Reglas Generalizadas de De Morgan y Distribución RESUMENEn esta clase se aborda el tema de...

Completitud y solvencia en la lógica proposicional RESUMENEn esta clase se aborda la relación entre la completitud y...

Consecuencia y Equivalencia Semántica RESUMENEn esta clase estudiaremos la Consecuencia y Equivalencia Semántica en la lógica proposicional, lo...

Semántica de la Lógica Proposicional RESUMENEn esta clase se estudia la semántica de la lógica proposicional, específicamente la...

Leyes de DeMorgan, de Distribución y sus demostraciones RESUMENEn esta clase se revisan las demostraciones de las leyes...

Demostración de las Técnicas de la Lógica Clásica RESUMENEn esta clase se presentan varias técnicas de la lógica...

5 Simetrías de la Lógica Proposicional Resumen:A lo largo de esta clase, exploraremos cómo la doble negación, el...

Aprende 4 técnicas de deducción imprescindibles Resumen:En esta clase se describen 4 técnicas de deducción de la lógica...