INFERENCIA LOGICA

La inferencia lgica es llamada tambin llamada LGICA

INFERENCIAL.
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 ARGUMENTO
LGICO.
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 argentino
Q= 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.
P
V

q
V

[(p q)
V
F

(~q)]
F

~q
F

V
V
F

F
V
F

F
V
V

F
F
V

V
F
V

V
V
V

F
V
V

5 Respuesta como el resultado final es una tautologa, la conjuncin

de premisas implica la conclusin, por lo tanto la inferencia es vlida.