Inferencias
Inferencias
Inferencias
TIPOS DE INFERENCIAS:
INMEDIATAS: Se llama as al proceso mediante el cual dada una
proposicin cualquiera (P), deducimos directamente una nueva
proposicin (P*)
P- - - - P*
P = algunos abogados son hombres
P*= Algunos hombres son abogados
LA CONVERSIN
Es una inferencia que consiste en la mutacin de sus trminos. (S P)
De una proposicin cualquiera se infiere una nueva proposicin, que tiene como
predicado al sujeto de la original y como sujeto al predicado original.
S E P ------------- PES
TABLA DE CONVERSIONES
PROPOSICIN CONVERSA
ORIGINAL
Toda S es P Alguna P es S
SAP PIS
Ninguna S es P Ninguna P es S
SEP PES
Alguna S es P Alguna P es S
LA OBVERSIN
Es una inferencia inmediata, por medio de la cual de una proposicin
cualquiera se infiere una nueva proposicin que tiene como predicado
la negacin del predicado original.
CUADRO DE OBVERSIONES
PROPOSICIN ORIGINAL OBVERSA
Toda S es P Ninguna S es no P
SAP SE -P
Ninguna S es P Toda S es no P
SEP SA -P
Alguna S es P Alguna S no es no P
SIP SO -P
Alguna S no es P Alguna S es no P
SOP SI -P
LAS OPOSICIONES.
Dos proposiciones (con sujetos y predicados iguales) son opuestas si
difieren en: cantidad, cualidad, o en los dos aspectos: estas se dividen
a su vez en:
CONTRARIAS:
Se denominan as al par de proposiciones universales (SAP y SEP) que
tienen la misma cantidad pero difieren en cualidad.
Si la una es verdadera, necesariamente la otra es falsa.
Pero pueden ser Falsas las dos al mismo tiempo.
No pueden ser las dos Verdaderas al mismo tiempo:
SUBALTERNAS
C O
O
IA N T
S TR IC
AA
R DI
T C
N TO
O S
C IA R
R
SIP SUBCONTRARIAS SO
P
DE VERDADERO A VERDADERO DE VERDADERO A FALSO
SIP SOP
SIP SOP
DE FALSO A FASO DE FALSO A
VERDADERO
SAP SEP SAP SEP
SIP SOP
SIP SOP
LEGITIMIDAD DE LAS INFERENCIAS EN LA
LGICA BIVALENTE
DADO SAP SEP SIP SOP
SAP VERDADER FALSO VERDADERO FALSO
VERDADERO O VERDADERO FALSO VERDADERO
SEP FALSO FALSO VERDADERO X
VERDADERO X X X VERDADERO
SIP FALSO X X VERDADERO
VERDADERO FALSO FALSO VERDADERO X
SOP X VERDADERO FALSO VERDADERO
VERDADERO FALSO FALSO VERDADERO FALSO
SAP FALSO VERDADER
SEP FALSO O
SIP FALSO
SOP FALSO
INFERENCIAS MEDIATAS
Se llama as al proceso mediante el cual, dadas ciertas
proposiciones (premisas), se deduce una nueva proposicin
(Conclusin) distinta de la original a travs de una
proposicin intermedia.
A este conjunto se los llama Silogismos categricos. Ejemplo: