Inferencias, Proposiciones

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
P1 Todos los cajamarquinos son peruanos
C Algunos peruanos son cajamarquinos

2.2.

P1
\C

Inferencias Mediatas. Son aquellas cuya conclusin deriva, resulta o se obtiene de dos o ms
premisas. Su esquema lgico es el siguiente:

Si la temperatura est bajo cero entonces el agua se congela

Pero el agua no se congela

FORMA LGICA
P1
P2

Luego, la temperatura no est bajo cero.

\C

3. VALIDEZ DE LAS INFERENCIAS.

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.
Evaluacin de una inferencia
PASOS:
3.1.

Reconocer Premisas y Conclusin.

Ejemplo:
Si estudio ingls, aprendo a ser lder en el mercado laboral. Estudio ingls. Luego aprendo a ser
lder en el mercado laboral.
P1 Si estudio ingls, aprendo a ser lder en el mercado laboral.
P2 Estudio ingls.
\ C Aprendo a ser lder en el mercado laboral.

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.

3.3.

Formalizar Premisas y Conclusiones.

P1
P2
C

3.4.

pq
p
q

Unir premisas a travs de las conjuntivas y el conjunto de las premisas con la conclusin a
travs de una condicional.
[ ( p1 ) ( p2 ) .... ( pn ) ]

Antecedente

Consecuente

En el ejemplo:
[(p q)p] q
3.5.

Evaluar el esquema por tabla de verdad.

pq
VV
VF
FV
FF

[(pq) p ] q
V
F
V
V

V V
F V
F F
F F

V
V
V
V

V
F
V
F

RESPUESTA: Es una TAUTOLOGA, por lo tanto la inferencia es VLIDA.

4.

IMPLICACIN Y EQUIVALENCIA LGICA

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:
a)

Dado:

A= [(pq)(q p)]
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
VV
VF
FV
FF

(pq) ~( ~p~q)
V
V
V
F

V
V
V
V

V
V
V
F

F
F
V
V

F F
F V
F F
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

LAS PROPOSICIONES CATEGRICAS

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 :
1.

Cuantificador.- Que indica si se tom integra o parcialmente el sujeto.

2.

Sujeto.- Indica clases o conjuntos.

3.

Predicado.- Indica clases o conjuntos.

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
cada una de ellas.
A=
E=
I=
O=

Todos los S son P

Ningn S es P
Algunos S son P
Algunos S no son P

=
=
=
=

Proposicin Universal Afirmativa, expresa inclusin total.

Proposicin Universal Negativa, expresa exclusin total.
Proposicin Particular Afirmativa, expresa inclusin parcial.
Proposicin Particular Negativa, expresa exclusin parcial.

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.
Tipos de Proposiciones

FORMA

LETRA

FORMA

FORMULA

DIAGRAMA DE

Categricas

LOGICA

TIPICA

TIPICA

BOOLEANA

VENN

S a P

SP=

S e P

SP=

TODOS LOS
Universal

FISCALES

TODOS LOS

Afirmativa

SON

S SON P

ABOGADOS

Universal

NINGUN

NINGUN

Negativa

LOCO ES

S ES P

CUERDO

Particular
Afirmativa

ALGUNOS
MUSICOS

ALGUNOS

SON

S SON P

S i P

MEXICANOS

Particular

ALGUNOS

Negativa

POLICIAS
NO SON

SP=

ALGUNOS S
NO SON P

HONESTOS

238

S o P

SP=

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 i P)
1.

(S e P)

(S o P)

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

A,
E

E:
A

V F
F ?

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:

3.

Esquemticamente se tiene:

2.

I , O:
O I

V F
? V

Proposiciones Subalternas.- Cada proposicin particular es subalterna de su respectiva universal. Son

diferentes en cantidad, pero iguales en calidad : A-I:; EO.

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
I O V

4.

F
?

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:
O I E A

5.

V F
F V

Proposiciones Subalternantes.- Cada proposicin universal es subalternante de su particular I-A; O-E.

Ley de las subalternantes.De la falsedad de la particular se infiere la falsedad de la universal pero de una proposicin particular
verdadera, nada se concluye con respecto a su subalternante. Ejemplo :
De Algn pelcano es perro (falsa) se infiere la falsedad de la universal Todo pelcano es perro (falsa)
Esquemticamente se tiene:

I O:
A E

V
?

F
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
E : Ningn SS es PP
I : Algn S es P
O : Algn S no es PP

El trmino distribuido hace las veces de SUJETO.

Los trminos distribuidos son el SUJETO Y el PREDICADO.
NO TIENE TRMINO DISTRIBUIDO.
El trmino distribuido hace las veces de PREDICADO.

Por ejemplo, en las siguientes proposiciones:

A:
Todos los gatos son felinos
E:
Ningn pingino es cuadrpedo
O:
Algunos pases no son desarrollados
Los trminos distribuidos son: gatos, pingino, cuadrpedo y desarrollados.
En general, una proposicin distribuye un trmino cuando se refiere a todos los miembros de la clase designada
por dicho trmino.

240