Inferencia Lógica

“Año de la Integración Nacional y el Reconocimiento de Nuestra Diversidad”

LOGICA
CICLO I Aula: 802



Facultad de Administración y Negocios

TEMA: “Concepto y clases de inferencia lógica, principios lógicos clásicos, concepto de implicación lógica, principales reglas de la lógica proposicional – determinación de la valides mediante lastablas de verdad, método abreviado, reglas principales de lógica y derivación”

2012
LIMA – PERÚ

Contenido

INFERENCIAS LÓGICAS
PRINCIPIOS LÓGICOS CLÁSICOS
IMPLICACIÓN LÓGICA
REGLAS DE LA LÓGICA PROPOSICIONAL
DETERMINAR LA VALIDEZ MEDIANTE EL METODO ABREVIADO
DETERMINAR LA VALIDEZ MEDIANTE LAS PRINCIPALES REGLAS LÓGICAS 9
DETERMINAR LA VALIDEZ MEDIANTE LA TABLA DE VERDAD 10DETERMINAR LA VALIDEZ MEDIANTE LA DERIVACIÓN LÓGICA 11

INFERENCIAS LÓGICAS

* 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 se denominan reglas de inferencia. 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 la utilidad de la misma surgirá de ciertas propiedades de las reglas de inferencia, llamadas de completitud.
* Una de las reglas de inferencia más conocida, y que forma parte de numerosos sistemas formales es la denominada modus ponens. Ella se basa en el conector de implicación lógica « → ».
Una inferencia puede ser: Inductiva,deductiva, transductiva y abductiva:
Inductiva:
Aquí por ejemplo si durante la primera semana el trabajador llega 10 minutos tarde, podemos concluir que todo el mes va a llegar tarde. Esta conclusión no necesariamente es válida porque puede ser que el maestro algún día llegue temprano. En general una inferencia inductiva es la que se desprende de una o varias observaciones y en general no podemosestar seguros de que será verdadero lo que concluimos.
Deductiva:
Cuando se conoce una ley general y se aplica a un caso particular, por ejemplo se sabe que siempre que llueve hay nubes, concluimos que el día de hoy que está lloviendo hay nubes. También se conoce como inferencia deductiva cuando tenemos un caso que analiza todos los posibles resultados y de acuerdo a las premisas sólo hay unaposible situación, en este caso decimos que la situación única es la conclusión. Es este caso estamos seguros de que si las premisas son verdaderas entonces la conclusión también lo es.
Transductiva:
Con el mismo caso del trabajador que llega tarde durante los primeros días y concluimos que todo el tiempo también llegará tarde. O del amigo que varias veces nos ha mentido y concluimos que lo que nosdice es ese momento es mentira. Este es un caso donde como en el caso inductivo, no podemos estar seguros de que la conclusión es verdadera.
Abductiva:
Es semejante a la deductiva, también utiliza la estrategia de analizar todas las posibilidades, pero en este caso hay varios casos que se pueden presentar, como por ejemplo si se sabe que siempre que llueve hay nubes y se sabe que hay nubes sepuede concluir que llueve, pero no se tiene la certeza, al igual que el caso inductivo y transductivo no es una forma válida de obtener conclusiones en matemáticas o en lógica y es necesario conocer más información para poder verificar la validez.
PRINCIPIOS LÓGICOS CLÁSICOS

Son los fundamentos que determinan ciertas reglas a seguir, para lograr la coherencia y sistematicidad de los pensamientosen las formas y contenidos. En otras palabras, los principios lógicos son las leyes del pensamiento que nos aseguran su validez. Son cuatro principios, los tres primeros enunciados por Aristóteles y el cuarto agregado por Leibniz:

Principio de identidad:
Se enuncia expresando que todo objeto es igual a sí mismo. Este principio se representa mediante la fórmula P=P. Pero cobra importancia...