Please enable JavaScript.
Coggle requires JavaScript to display documents.
Inferencia lógica - Coggle Diagram
Inferencia lógica
representan
Un proceso que deriva conclusiones a partir de premisas
por ello
La lógica investiga si algunas inferencias son aceptables y otras no
está formado por
Lógica aristotélica
es
Una forma de razonamiento deductivo
no obstante
1 more item...
Lógica moderna
ayuda a
Comprender si lo que estamos tratando de expresar
puede ser
1 more item...
basándose en
Tomar premisas, analiza su sintaxis, y devolver una conclusión
Regla de inferencia
algunas de las más conocidas son
Eliminación de conjunción
afirma que
Se puedes separar en varias líneas los conjuntando de una conjunción
Encadenamiento
estrategia
Utilizada para obtener conclusiones compuestas
Introducción de conjunción y disyunción
permite
Concluir la conjunción y la disyunción de dos premisas
Resolución
usada
Sobre cierto tipo de proposiciones lógicas
1 more item...
Modus tollens
dice que
Si se niega el consecuente de un condicional
1 more item...
Modus ponens
asegura que
Una premisa tiene la forma de condicional y la otra afirma el antecedente
1 more item...
Aplicación de regla de inferencia
construida para
Demostrar si una proposición se infiere naturalmente de las premisas dadas
a partir del
Paso 1
Enumerar cada premisa pero no la conclusión
luego
1 more item...
Paso 2
Resolver aplicando las reglas