LA

INFERENCIA
1. DEFINICIÓN. Es el paso de un conjunto de premisas a la conclusión. Como las premisas y la conclusión
están constituidas por proposiciones, la Inferencia es una estructura de proposiciones, donde a partir de
una o más proposiciones llamadas Premisas se obtiene otra proposición llamada conclusión.
Una inferencia tiene la forma de un esquema molecular condicional, es decir, el símbolo principal es el
condicional (), cuyo antecedente es la premisa o premisas unidas por conjunciones y cuyo consecuente
es la conclusión.
En cada una de las inferencias se distinguen las premisas de la conclusión por el uso de ciertos términos
referenciales, como: por lo tanto, luego, en conclusión, en consecuencia, ergo, etc.

2. CLASES.

Son de 2 clases:

2.1. Inferencias Inmediatas. Son aquellas cuya conclusión se deriva solamente de Una Premisa. Su
esquema lógico es el siguiente:
P1 Todos los cajamarquinos son peruanos
C Algunos peruanos son cajamarquinos
Su forma Lógica es: P1

C
2.2. Inferencias Mediatas. Son aquellas cuya Conclusión deriva, resulta o se obtiene de Dos o Más
Premisas. Su esquema lógico es el siguiente:
FORMA LÓGICA

Si la temperatura está bajo cero entonces el agua se congela P1

Pero el agua no se congela P2

Luego, la temperatura no está bajo cero. C

3. VALIDEZ DE LAS INFERENCIAS.

Una inferencia es válida si la conclusión se deriva lógicamente de las premisas. Al formalizar una inferencia
el conectivo principal es una condicional. Al evaluar una inferencia, si su matriz principal es tautológica, la
inferencia es válida. En caso de resultar contradictoria o consistente la inferencia es inválida.

Evaluación de una inferencia

PASOS:

3.1. Reconocer Premisas y Conclusión.

Ejemplo:

Si estudio Inglés, aprendo a ser líder en el mercado laboral. Estudio Ingles. Luego aprendo a ser

líder en el mercado laboral.

P1 Si estudio Inglés, aprendo a ser líder en el mercado laboral.

P2 Estudio Inglés.
C Aprendo a ser líder en el mercado laboral.

3.2. Reconocer las variables que forman parte de la inferencia.

225
 Ejemplo:

p = Estudio Inglés.
q = Aprendo a ser líder en el mercado laboral.

3.3. Formalizar Premisas y Conclusiones.

P1 pq
P2 p
C q

3.4. Unir premisas a través de las conjuntivas y el conjunto de las premisas con la conclusión a
través de una condicional.

 ( p1 )  ( p2 )  .... ( pn )   C

Antecedente Consecuente
En el ejemplo:

(p q)p  p

3.5. Evaluar el esquema por tabla de verdad.

pq (pq)  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

RESPUESTA: Es una TAUTOLOGÍA, por lo tanto la inferencia es VÁLIDA.

4. EQUIVALENCIA E IMPLICACIÓN LÓGICA

Equivalencia Lógica: Es una relación lógica que se da cuando 2 fórmulas se unen a través de una
bicondicional, y que luego de evaluarse por la tabla de verdad da como resultado una tautología. Se debe
tener presente que equivalencia y bicondicional constituyen cosas distintas; así se habla de equivalencia
sólo si el resultado final es tautológico, pero si no es tautológico se dirá que únicamente es un esquema
bicondicional.

Ejemplo:

a) Dado: A=pq
B=~(~p~q)
b) Estas 2 fórmulas se unen a través del bicondicional, y se aplica la tabla de verdad.

pq (pq) ~(~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

M a tric e s
ig u a le s

c) El resultado final es una Tautología, por lo tanto se concluye que “A” y “B” son equivalentes, es decir:
“A” es equivalente a “B” y “B” es equivalente a “A”

226
 Implicación Lógica: Existe implicación lógica cuando una fórmula “A” unida a otra fórmula “B” a través de
una condicional, siendo “A” el antecedente y “B” el consecuente, el resultado final de la evaluación es una
tautología.
Una implicación lógica no es lo mismo que una condicional; será implicación sólo cuando se trata de un
esquema tautológico, si no es tautológico (consistente o contradictorio) se dirá que simplemente es un
esquema condicional.

Ejemplo 1:

a) Dado: A =  ( p  q )  ( q  p ) ]

B= (p~q )](q~p)]

b) Ambas fórmulas se unen a través de la condicional y evaluamos por tablas de verdad.

p q  ( p  q )  ( q  p )    ( p   q )  ( q   p)

VV
VF
FV
FF

LAS PROPOSICIONES
CATEGÓRICAS

1. DEFINICIÓN. Las proposiciones categóricas son aseveraciones sobre las clases, que afirman o niegan si
una clase está incluida en otra, total o parcialmente; las principales características son:

1. Tienen cuantificador.- Que indica si se tomó integra o parcialmente el sujeto.

2. Tienen sujeto. Indican clases o conjuntos.

3. Tienen predicado. Indican clases o conjuntos.

4. Tienen verbo copulativo. Es el verbo “SER” que está en presente y en modo indicativo, mayormente se
presentan con los términos “SON” o “ES”, en su forma afirmativa o negativa.

2. FORMAS TÍPICAS. Son las 4 formas, que los lógicos medievales le asignaron las letras A, E, I, O; a cada

una de ellas.

A= Todos los S son P =Proposición Universal Afirmativa, expresa inclusión total.

E= Ningún S es P = Proposición Universal Negativa, expresa exclusión total.
I= Algunos S son P =Proposición Particular Afirmativa, expresa inclusión parcial.
O= Algunos S no son P =Proposición Particular Negativa, expresa exclusión parcial.

Ejemplo:

A = Todos los planetas son astros

E = Ningún planeta es astro
I = Algunos planetas son astros
O = Algunos planetas no son astros

227
3. CLASIFICACIÓN DE LAS PROPOSICIONES CATEGÓRICAS. Estas se clasifican por su:
3.1. CUALIDAD:
i. Afirmativas.- Se afirma la inclusión total o parcial de una clase respecto de otra.
ii. Negativas.- Se niega la inclusión total o parcial de una clase respecto de otra.
Ejemplo: Todos... son; Ningún... es; Algunos... son; Algunos…no son.
3.2. CANTIDAD:
a. Universales.- Se refiere a todos los miembros de la clase designada por el sujeto.
b. Particulares.- Se refiere a algunos de los miembros de una clase designada por el
sujeto.
Ejemplo: Todos, Ningún, Algunos.
4. CUADRO RESUMEN.

Tipos de Proposiciones FORMA LETRA FORMA FORMULA DIAGRAMA DE

Categóricas LOGICA TIPICA TIPICA BOOLEANA VENN

S P
Universal TODOS LOS
Afirmativa FISCALES TODO LOS A S a P
SP =
SON S SON P
ABOGADOS

S P
Universal NINGUN
Negativa LOCO ES NINGUN E S e P SP =
CUERDO S ES P

S P
Particular ALGUNOS
Afirmativa PERUANOS ALGUNOS I
S i P SP = X
SON S SON P
IQUEÑOS

S P
ALGUNOS
Particular POLICIAS
ALGUNOS S
O S o P
SP = X
Negativa NO SON
NO SON P
HONESTOS

CUADRO DE BOECIO

228
El cuadro de Boecio, conocido como el CUADRO DE LA OPOSICIÓN, muestra las relaciones de las
proposiciones categóricas típicas (A, E, I, O) entre sí. Estas relaciones se denominan contradictorias,
contrarias, subcontrarias, subalternas y subalternantes. Se grafica así:

(S a P) (S e P)
A E

(S i P) I O (S o P)

1. Proposiciones Contrarias. Son iguales en cantidad, pero desiguales en calidad: A-E.

Ley de las Contrarias.-
De la verdad de una contraria, se infiere la falsedad de la otra; no puede ser simultáneamente
verdaderas pero sí simultáneamente falsas. Ejemplo:
A: Todo hombre es ingeniero
E: Ningún hombre es ingeniero

Esquemáticamente se tiene:

A, E: V F
E A F V

2. Proposiciones Subcontrarias. Son iguales en cantidad, pero desiguales en calidad: I – O.

Ley de las Subcontrarias.-
De la falsedad de las subcontrarias se infiere la verdad de la otra pero no viceversa. Pueden ser
simultáneamente verdaderas, pero no simultáneamente falsas. Ejemplo:
I: Algún hombre es médico
O: Algún hombre no es médico
Esquemáticamente se tiene:

I, O: V F
O I ? V

3. Proposiciones Subalternas. Son desiguales en cantidad, pero iguales en calidad: A-I, E – O.

Ley de las subalternas.-
De la verdad de la universal se infiere la verdad de la particular pero no viceversa. (Pueden ser
simultáneamente verdaderas). Ejemplo:
De todo hombre es racional (verdadera) se infiere la verdad de la particular Algún hombre es
racional (verdadera)

229
 Esquemáticamente se tiene:

A, E: V F
I O V ?

4. Proposiciones Contradictorias. Son desiguales en cantidad y calidad: A-O, E – I.

Ley de las contradictorias.-
De la verdad de una contradictoria, se infiere la falsedad de otra y viceversa. Ejemplo:
O: Algún robo no es malo
A: Todo robo es malo
Otro ejemplo sería:
E: Ningún justificante de ausencia es buen pretexto
I: Algún justificante de ausencia es buen pretexto
Esquemáticamente se tiene:

A, E I O: V F
O I E A F V

5. Proposiciones Subalternantes. Cada proposición 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 no viceversa. Pueden ser
simultáneamente falsas. Ejemplo:
De Algún pelícano es perro (falsa) se infiere la falsedad de la universal Todo pelícano es perro
(falsa)
Esquemáticamente se tiene:

I O: V F
A E ? F

TÉRMINOS DISTRIBUIDOS

Un término está distribuido en una proposición categórica típica cuando aparece en toda su extensión. El
siguiente cuadro presenta los términos distribuidos encerrados en un círculo:

A: Todo S es P El término distribuido hace las veces de SUJETO.

E: Ningún S es P Los términos distribuidos son el SUJETO Y el PREDICADO.

I: Algún S es P NO TIENE TÉRMINO DISTRIBUIDO.

O: Algún S no es P El término distribuido hace las veces de PREDICADO.

Por ejemplo, en las siguientes proposiciones:

A: Todos los gatos son felinos

E: Ningún pingüino es cuadrúpedo
O: Algunos países no son desarrollados
Los términos distribuidos son “gatos”, “pingüino”, “cuadrúpedo” y “desarrollados”.
En general, una proposición distribuye un término cuando se refiere a todos los miembros de la clase designada
por dicho término.

230