Cálculo proposicional e inferencia Lógica

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
1. 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
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
1. 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

Resumen del Recurso

	Creado por amparoisa_1125 hace más de 9 años