Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Categricas
LA INFERENCIA
1. DEFINICIN. Es el paso de un conjunto de premisas a una conclusin. Como las premisas y la conclusin
estn constituidas por proposiciones, la inferencia es una estructura de proposiciones, donde a partir de
una o ms proposiciones llamadas premisas se obtiene otra proposicin llamada conclusin.
Una inferencia tiene la forma de un esquema molecular condicional, es decir, el smbolo principal es el
condicional (), cuyo antecedente es la premisa o premisas unidas por conjunciones y cuyo consecuente
es la conclusin.
En toda inferencia se distinguen las premisas de la conclusin por el uso de ciertos trminos referenciales,
como: por lo tanto, luego, en conclusin, en consecuencia, ergo, etc.
2. CLASES.
Son de 2 clases:
2.1. Inferencias Inmediatas. Son aquellas cuya conclusin se deriva solamente de una premisa. Su
esquema lgico es el siguiente:
FORMA LGICA
2.2. Inferencias Mediatas. Son aquellas cuya conclusin deriva, resulta o se obtiene de dos o ms
premisas. Su esquema lgico es el siguiente:
FORMA LGICA
P 1 Si la temperatura est bajo cero entonces el agua se congela P1
Una inferencia es vlida si la conclusin se deriva lgicamente de las premisas. Al formalizar una inferencia
el conectivo principal es el condicional. Al evaluar una inferencia, si su matriz principal es tautolgica, la
inferencia es vlida. En caso de resultar contradictoria o consistente la inferencia es invlida.
PASOS:
Ejemplo:
Si estudio ingls, aprendo a ser lder en el mercado laboral. Estudio ingls. Luego aprendo a ser
235
3.2. Reconocer las variables que forman parte de la inferencia.
Ejemplo:
p = Estudio ingls.
q = Aprendo a ser lder en el mercado laboral.
P1 pq
P2 p
C q
3.4. Unir premisas a travs de las conjuntivas y el conjunto de las premisas con la conclusin a
travs de una condicional.
[ ( p1 ) ( p2 ) .... ( pn ) ] C
Antecedente Consecuente
En el ejemplo:
[(p q)p] q
pq [(pq) p ] q
VV V V V V V
VF F F V V F
FV V F F V V
FF V F F V F
Implicacin Lgica: Existe implicacin lgica cuando una frmula A unida a otra frmula B a travs del
condicional, siendo A el antecedente y B el consecuente, el resultado final de su evaluacin es una
tautologa.
Una implicacin lgica no es lo mismo que una condicional; ser implicacin slo cuando de la relacin se
obtiene un esquema tautolgico, si no es tautolgico (consistente o contradictorio) se dir que simplemente
es un esquema condicional.
Ejemplo 1:
B= [(p~q )](q~p)]
b) Ambas frmulas se unen a travs del implicador y evaluamos por tablas de verdad.
p q [ ( p q ) ( q p ) ] [ ( p ~ q ) ( q ~ p)]
VV
VF
FV
FF
236
Equivalencia Lgica: Es una relacin lgica que se da cuando 2 frmulas se unen a travs del biimplicador, y
que luego de evaluarse por la tabla de verdad da como resultado una tautologa. Se debe tener presente
que equivalencia y bicondicional constituyen cosas distintas; as se habla de equivalencia slo si el resultado
final es tautolgico, pero si no es tautolgico se dir que nicamente es un esquema bicondicional.
Ejemplo:
a) Dado: A=pq
B=~(~p~q)
b) Estas 2 frmulas se unen a travs del biimplicador, y se aplica la tabla de verdad.
pq (pq) ~( ~p~q)
VV V V V F F F
VF V V V F F V
FV V V V V F F
FF F V F V V V
c) El resultado final es una tautologa, por lo tanto se concluye que A y B son equivalentes, es decir:
A es equivalente a B y B es equivalente a A
1. DEFINICIN. Las proposiciones categricas son aseveraciones sobre las clases, que afirman o niegan si
una clase est incluida en otra, total o parcialmente; Sus elementos son :
4. Verbo copulativo.- Generalmente es el verbo SER que est en presente y en modo indicativo,
mayormente se presentan con los trminos SON o ES, en su forma afirmativa o negativa.
2. FORMAS TPICAS. Son 4 formas, a las cuales los lgicos medievales les asignaron las letras A, E, I, O; a
Ejemplo :
A = Todos los planetas son astros
E = Ningn planeta es astro
I = Algunos planetas son astros
O = Algunos planetas no son astros
237
3. CLASIFICACIN DE LAS PROPOSICIONES CATEGRICAS. stas se clasifican por su:
3.1. CUALIDAD:
a) Afirmativa.- Se afirma la inclusin total o parcial de una clase respecto de
otra.
Ejemplo: Juan es inteligente
b) Negativa.- Se niega la inclusin total o parcial de una clase respecto de otra.
Ejemplo: El ro Rmac no est ubicado en Lambayeque
3.2. CANTIDAD:
a) Universal.- Se refiere a todos los miembros de la clase designada por el
sujeto.
Ejemplo: Cualquier hombre es racional
b) Particular.- Se refiere a algunos de los miembros de una clase designada por
el sujeto.
Ejemplo: Algunos mdicos son investigadores
4. CUADRO RESUMEN.
TODOS LOS
Negativa LOCO ES S ES P E S e P
SP=
CUERDO
ALGUNOS
Particular
Afirmativa
MUSICOS ALGUNOS
SP=
I
SON S SON P
MEXICANOS S i P
Particular ALGUNOS
Negativa POLICIAS
ALGUNOS S
O S o P SP=
NO SON P
NO SON
HONESTOS
238
CUADRO DE BOECIO
El cuadro de Boecio, conocido como el CUADRO DE OPOSICIN, muestra las relaciones de las proposiciones
categricas tpicas (A, E, I, O) entre s. Estas relaciones se denominan contradictorias, contrarias,
subcontrarias, subalternas y subalternantes. Sirve para obtener inferencias inmediatas por oposicin. Se
grafica as:
(S a P) (S e P)
A E
(S i P) I O (S o P)
1. Proposiciones Contrarias.- Son las proposiciones universales iguales en cantidad, pero diferentes en
calidad: A-E, E-A
Ley de las Contrarias.-
Si una proposicin es verdadera, se infiere que su contraria es falsa; pero si es falsa, nada se concluye
de su respectiva contraria. Ejemplo :
A: Todo hombre es ingeniero
E: Ningn hombre es ingeniero
Esquemticamente se tiene:
A, E: V F
E A F ?
2. Proposiciones Subcontrarias.- Son las proposiciones particulares iguales en cantidad, pero diferentes
en calidad : IO; O-I
Ley de las Subcontrarias.-
De la falsedad de una subcontraria se infiere la verdad de la otra pero no viceversa. Ejemplo:
I: Algn hombre es mdico
O: Algn hombre no es mdico
Esquemticamente se tiene:
I , O: V F
O I ? V
239
Ley de las subalternas.-
De la verdad de la universal se infiere la verdad de la particular pero no viceversa. Ejemplo:
De todo hombre es racional (verdadera) se infiere la verdad de la particular Algn hombre es
racional (verdadera)
Esquemticamente se tiene:
A E: V F
I O V ?
4. Proposiciones Contradictorias.- Son diferentes en cantidad y calidad: A-O; EI; O-A; I-E
Ley de las contradictorias.-
De la verdad de una contradictoria, se infiere la falsedad de otra y viceversa. Ejemplo:
O: Algn delito no es malo
A: Todo delito es malo
Otro ejemplo sera:
E: Ningn justificante de ausencia es buen pretexto
I: Algn justificante de ausencia es buen pretexto
Esquemticamente se tiene:
A, E I O: V F
O I E A F V
Esquemticamente se tiene:
I O: V F
A E ? F
TRMINOS DISTRIBUIDOS
Un trmino est distribuido en una proposicin categrica tpica cuando aparece en toda su extensin. El
siguiente cuadro presenta los trminos distribuidos encerrados en un crculo:
A:
AA Todo SS es P El trmino distribuido hace las veces de SUJETO.
E : Ningn SS es PP Los trminos distribuidos son el SUJETO Y el PREDICADO.
I : Algn S es P NO TIENE TRMINO DISTRIBUIDO.
O : Algn S no es PP
El trmino distribuido hace las veces de PREDICADO.
240