Inferencia logica
Páginas: 3 (528 palabras)
Publicado: 20 de agosto de 2012
INFERENCIA LÓGICA
La inferencia lógica es un mecanismo de derivación sintáctica que a partir de un conjunto dado de fórmulas permite derivar nuevas fórmulas, utilizando operaciones que sedenominan reglas de inferencia.
El conjunto inicial de fórmulas son sentencias válidas en un cierto lenguaje y se les llama axiomas. Los axiomas junto a las reglas de inferencia constituyen lo que Fregedenomina un sistema formal.
Mediante la inferencia lógica, es posible demostrar fórmulas sin necesidad de considerar interpretación alguna. Una prueba será una derivación en el sistema formal, y lautilidad de la misma surgirá de ciertas propiedades de las reglas de inferencia, llamadas de completitud.
La inferencia lógica es llamada también llamada LÓGICA
INFERENCIAL.
• Es un proceso queconsiste en pasar de un conjunto de premisas a una
Conclusión, sin la necesidad de elaborar tablas o cuadros muy extensos.
• Todo ejercicio o problema que se resuelve usando inferencia lógica,Tiene la forma: P ^ Q ^ R ^ S ^…..^ W C
• Aquí: p; q; r; s; t; ..... ; w son llamadas premisas.
• Este conjunto de premisas originan como consecuencia otra proposición
“C”, llamada CONCLUSIÓN,la cual también se le llama ARGUMENTO
LÓGICO.
MODUS PONENS
De las fórmulas y , se puede inferir , lo que usualmente se escribe de la siguiente forma:
En lo que sigue se presentan unaserie de definiciones que serán utilizadas posteriormente.
En un sistema formal, un paso de inferencia corresponde a la aplicación de una regla para inferir una nueva fórmula.
DEMOSTRACIÓN
Unademostración será una sucesión de fórmulas del lenguaje, tal que todo es un axioma, o se obtiene de las fórmulas anteriores en la sucesión por la aplicación de alguna regla de inferencia.TEOREMA
Una fórmula es un teorema si existe una demostración en la que es el último término de la sucesión.
Notación 2
Si es un teorema se notará .
DEDUCCIÓN LÓGICA
Sea una fórmula y un...
La inferencia lógica es un mecanismo de derivación sintáctica que a partir de un conjunto dado de fórmulas permite derivar nuevas fórmulas, utilizando operaciones que sedenominan reglas de inferencia.
El conjunto inicial de fórmulas son sentencias válidas en un cierto lenguaje y se les llama axiomas. Los axiomas junto a las reglas de inferencia constituyen lo que Fregedenomina un sistema formal.
Mediante la inferencia lógica, es posible demostrar fórmulas sin necesidad de considerar interpretación alguna. Una prueba será una derivación en el sistema formal, y lautilidad de la misma surgirá de ciertas propiedades de las reglas de inferencia, llamadas de completitud.
La inferencia lógica es llamada también llamada LÓGICA
INFERENCIAL.
• Es un proceso queconsiste en pasar de un conjunto de premisas a una
Conclusión, sin la necesidad de elaborar tablas o cuadros muy extensos.
• Todo ejercicio o problema que se resuelve usando inferencia lógica,Tiene la forma: P ^ Q ^ R ^ S ^…..^ W C
• Aquí: p; q; r; s; t; ..... ; w son llamadas premisas.
• Este conjunto de premisas originan como consecuencia otra proposición
“C”, llamada CONCLUSIÓN,la cual también se le llama ARGUMENTO
LÓGICO.
MODUS PONENS
De las fórmulas y , se puede inferir , lo que usualmente se escribe de la siguiente forma:
En lo que sigue se presentan unaserie de definiciones que serán utilizadas posteriormente.
En un sistema formal, un paso de inferencia corresponde a la aplicación de una regla para inferir una nueva fórmula.
DEMOSTRACIÓN
Unademostración será una sucesión de fórmulas del lenguaje, tal que todo es un axioma, o se obtiene de las fórmulas anteriores en la sucesión por la aplicación de alguna regla de inferencia.TEOREMA
Una fórmula es un teorema si existe una demostración en la que es el último término de la sucesión.
Notación 2
Si es un teorema se notará .
DEDUCCIÓN LÓGICA
Sea una fórmula y un...
Leer documento completo
Regístrate para leer el documento completo.