Please enable JavaScript.
Coggle requires JavaScript to display documents.
Métodos de Inferencia en reglas - Coggle Diagram
Métodos de Inferencia en reglas
Reglas de inferencia
Las reglas de inferencia son esquemas básicos de inferencia deductiva
que se suelen escribir poniendo cada premisa en una línea
la conclusión en otra línea al final
inferencia
forma en que obtenemos conclusiones
base de datos
declaraciones establecidas
proceso por el cual se realiza el mapeo
para
asignar entradas
salidas utilizando la lógica difusa
Reglas de inferencia lógicas
Modus Ponens Ponens
Establece si una implicación es cierta y su antecedente
su consecuente también es cierto o verdadera
Modus Tollendo Ponens
Esta regla dice si una disyunción es verdadera
una de sus proposiciones simples es falsa entonces
por consecuencia la otra proposición será verdadera
Modus Tollendo Tollens
si una implicación es verdadera y es falso su consecuente
entonces su antecedente será necesariamente falso
Resolución
técnica que se utiliza para probar teoremas en la lógica
constituye la base en prolog
lenguaje que manipula en forma computacional la lógica de predicados