Cálculo proposicional e inferencia Lógica

Cálculo proposicional e inferencia Lógica

1. proposiciones Una proposición es una expresión con sentido completo mediante la cual se afirma o se niega algo que puede ser verdadero o falso

   • Proposiciones- Proposiciones simples (o atómicas) - Proposiciones compuestas (o moleculares) - La conjunción -La disyunción EL condicional- Recíproca, contrarrecíproca e inversa - EL bicondicional -Tablas de verdad de proposiciones compuestas- Prioridad de los conectivos lógicos -Traducción de frases del lenguaje natural- Juegos de lógica- Tautologías y contradicciones -Implicaciones y equivalencias lógicas- Tablas de equivalencias lógicas importantes Álgebra declarativa - Formas normales - Tablas de verdad y formas normales -Ejercicios y temas adicionales

2. Se llama inferencia lógica a la aplicación de una regla de transformación que permite transformar una fórmula o expresión bien formada (EBF) de un sistema formal en otra EBF como teorema del mismo sistema. Ambas expresiones se relacionan mediante una relación de equivalencia

   • Modus Ponendo Ponens Regla de Doble Negación Modus Tollendo Tollens -. Ley de Adjunción y Ley de Simplificación -Modus Tollendo Ponens -Ley de Adición -Ley del Silogismo Hipotético - Ley del Silogismo Disyuntivo -Ley del Simplificación Disyuntiva -Leyes Conmutativas -Leyes de DE Morgan 12. Ley de Proposiciones Bicondicionales