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.
