3269139
GoConqr Review
Mapa mental que proporciona un resumen sobre el cálculo preposicional y las inferencias lógicas.
Mind Map by amparoisa_1125, updated more than 1 year ago
|
Created by amparoisa_1125
over 8 years ago
|
|
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
- 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
- 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
- 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
- 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
Want to create your own Mind Maps for free with GoConqr? Learn more.