Formalizacion de inferencias

Una inferencia es una operacion logica que consiste en derivar a partir de la verdad de ciertas proposiciones conocidas como premisas, la verdad de otra proposicion conocida como conclusion. Las premisas de una inferencia son proposiciones que ofrecen las razones para aceptar la conclusion.

Inferencias ordenadas

Ejemplo:
Los congresistas representan la nacion, pero no estan sujetos a mandato imperativo.
Luego, los congresistas representan la nacion

P: Los congresistas representan a la nacion
Q: Los congresistas estan sujetos a mandato imperativo

P˄¬Q
P
(P˄¬Q)→P

Inferencias desordenadas 

La forma logica de la inferencia es premisas-conclusion; sin embargo es frecuente observar ue dicha forma logica se presenta alterada, antes de hacer la formalizacion es preciso restablecer la forma logica.

1. Inferencia: Si Cesar es guitarrista, entonces es musico Cesar no es guitarrista puesto que no es             musico.

2. Forma logica:
                           a: Si Cesar es guitarrista, entonces es musico.
                           b: Cesar no es musico
                               Luego, Cesar no es guitarrista.
3 Formula:  P→Q
                    ¬Q
                    ¬P
                    [(P→Q)^¬Q]→¬P


EJEMPLOS:

Inferencia lógica con base verdadera

1. Los hombres mueren = premisa 1 = p
2. Ernesto es un hombre = premisa 2 = q
3. Por lo tanto Ernesto muere = conclusión = .·.

1. Todos los libros de matemáticas son aburridos
2. Este es un libro de matemáticas
3. Este es un libro aburrido

1. Los niños crecen
2. Ana es una niña
3. Ana crecerá

1. Quien trabaja gana
2. Yo trabajo
3. Por lo tanto gano algo

Inferencia lógica con premisa inicial falsa

1. Los gatos vuelan
2. Este es un gato
3. Este gato puede volar

1. Los cerdos sudan
2. Chocho es un cerdo
3. Chocho suda mucho

1. La muñeca esta hecha de plastico
2. Yo tengo una muñeca en la mano
3. Mi mano esta hecha de plastico