Inferencia L Gica

INFERENCIA LÓGICA
De forma simple es un proceso en el cual se infiere de un juicio a partir de otro; es decir consiste en pasar de verdades conocidas (premisas iniciales) a una verdad no conocida(conclusión).
En todo razonamiento es válido siempre y cuando la conclusión sea consecuencia lógica de premisas consistentes; o también. Un razonamiento es válido siempre y cuando de premisasconsistentes sólo sea posible obtener conclusiones ciertas.
Las premisas son inconsistentes si y sólo si de ellas se infiere una contradicción. Si las premisas son inconsistentes, entonces existe una o másproposiciones que se contradicen.
Las tautologías son muy importantes en la lógica como en las matemáticas, consideremos ocho tautologías, o leyes de la lógica, usted debe familiarizarse con estas leyesya que serán la base sobre la cual se pueden fundar ciertos métodos de demostración.
1. Tautología Trivial
2. Ley de la doble negación
3. Ley de medio excluido
4. Razonamiento directo
5.Razonamiento indirecto
6. Ley de transitividad
7. Ley de la contra recíproca
8. Silogismo disyuntivo
REGLAS DE INFERENCIA
Para inferir un juicio a partir de otros se requiere de un proceso en elque se aplican propiedades o leyes fijadas de antemano y que no hayan sido obtenidas de casos particulares o para casos particulares.
Estas propiedades nos dan la certeza de que sólo es posibleobtener conclusiones ciertas de premisas ciertas.
Las premisas son de tipo:
Premisa
Premisa
Premisa


Estas reglas permiten afirmar que si las premisas ; ; ;…; son verdaderas se puede inferir unaconclusión C verdadera.


Modus ponens o Razonamiento Directo.
Si afirmamos una premisa la conclusión será la afirmación de la otra premisa. Representación:
.
Ejemplos:
Si Paola utiliza procesosintelectuales, entonces es inteligente
Paola utiliza procesos intelectuales
Por lo tanto, Paola es inteligente

Si Ximena es una persona lógica, entonces entenderá modus ponens
Ximena es una persona...