INFERENCIA LOGICA

La inferencia lgica es llamada tambin llamada LGICAINFERENCIAL. Es un proceso que consiste en pasar de un conjunto de premisas a una conclusin, sin la necesidad de elaborar tablas o cuadros muy extensos. Todo ejercicio o problema que se resuelve usando inferencia lgica, tiene la forma: (Pqrsw)c.

Aqu: p q r s t ..... w son llamadas premisas. Este conjunto de premisas originan como consecuencia otra proposicin C , llamada CONCLUSIN, la cual tambin se le llama ARGUMENTOLGICO.

EJEMPLO:

Si maradona es argentino, entonces aficionado al futbol pero, maradona noes aficionado al futbol, por lo tanto, noes argentino.

SOLUCION: Se recomienda seguir los seguientes pasos resolver una inferencia logica.

1 Determinar todos las proporciones y los simbolizamos, sean proporciones:P= maradona es argentinoQ= maradona es aficionado al futbol.

2 elaboramos el esquema molecular [(pq)(~q)]~p

3 identificamos las premisas y al conclusion.

Premisas (pq)

(~q)

Conclusin: (~p)

4 Elaboramos y analizamos la tabla de verdad del esquema molecular.

Pq[(p q) (~q)]~q

VVVFFVF

VFFFVVF

VVVFFVV

FFVVVVV

5 Respuesta como el resultado final es una tautologa, la conjuncin de premisas implica la conclusin, por lo tanto la inferencia es vlida.