Inferencia Logica

Introducción
En el presente trabajo, se detallarán lo que la lógica se suele definir como el estudio de la inferencia válida. Se llama inferencia al proceso de derivar una conclusión de un conjunto de premisas. Se dice que un argumento es válido si, en virtud únicamente de su estructura, la verdad de las premisas implica necesariamente la verdad de la conclusión.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 se denominan reglas de inferencia.

Lógica.- es la ciencia que estudia la inferencia, estableciendo principios y métodos que permitan determinar su validez.

Conceptos básicosPreposición
Es el significado de una expresión aseverativa que tienes la cualidad de ser verdadera o falsa.

Ejemplos:
• Vallejo es un poeta peruano.
• La astrología no es una ciencia.
• Perú es un país africano.
• 5+7=9

Inferencia
Estructura de proposiciones en donde a partir de una o mas proposiciones llamadas premisas extraemos otra (proposición) conocida comoconclusión.

Entonces la estructura de la inferencia sería

P1 Todo hombre es mortal
P2 Todo limeño es hombre
C Todo limeño es mortal
Tipos de inferencia
Inferencia inductiva. Es aquella cuya conclusión es probable con relación al conjunto de premisas; unaforma de obtener inferencias inductivas es partiendo de varias premisas particulares y estableciendo una conclusión general.
Ejemplo:
P1 Moisés es estudiante y es aficionado al futbol
P2 Marko es estudiante y es aficionado al futbol
P3 Simeón es estudiante y es aficionado al futbol
P100 …………………………………………………..
C Probablemente todo estudiante es aficionado al futbol
Inferencia Deductiva.Es aquella donde la conclusión puede extraerse en forma necesaria de las premisas, una forma de obtener inferencias deductivas es partiendo de premisas generales y estableciendo una conclusión particular.

P1 Todo carpintero es ebanista
P2 José es carpintero .
C José es ebanista

Las inferencias Deductivas se dividen en:
• Inmediatas. Son aquellas inferencias deductivasque constan de tan solo una premisa y su respectiva conclusión.

Ejemplo:

P1 Todo estudiante es culto
C Algún estudiante es culto

• Mediatas. Son aquellas en las cuales la conclusión se deriva de dos o mas premisas.

Ejemplo:

P1 Juan es mayor que pedro
P2 Pedro es mayor que Luis
P3 Luis es mayor que Saúl
C Juan es mayor que Saúl

Reglas de Inferencia Deductiva

MODUSPONENDO PONENS (PP)

p → q “Si llueve, entonces las calles se mojan” (premisa)
p “Llueve” (premisa)
__________________________________________________

q “Luego, las calles se mojan” (conclusión)

El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en un condicionalestablece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo término, en este caso q).


MODUS TOLLENDO TOLLENS (TT)

‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los condicionales, a los que nos referíamos en primer lugar.


p → q “Si llueve, entonces las calles se mojan”
¬q “Las callesno se mojan”
__________________________________________________

¬p “Luego, no llueve”


Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse.

DOBLE NEGACIÓN (DN)

¬¬p ↔ p

El esquema representa, “p doblemente negada equivale a p”. Siguiendo el...