Inferencia inmediata o directa.

Inferir es establecer algo a partir de lo ya sabido.

Hay dos tipos de inferencia; la inmediata o directa y la mediata. Para la
primera no existe mediacin alguna para establecer una verdad nueva, para la
segunda el establecimiento de una verdad pasa por un medio, como veremos
en el ejemplo:
Inmediata: a = b
Mediata:

b=a

a=b
b=c
c=a

Clasificacin de las proposiciones segn dos variables: cantidad de los

trminos (singular, comn [universal, particular]), calidad de la cpula
(afirmativa y negativa).
Cuadro de oposicin o de inferencia inmediata:

Singular

Cantidad de
trminos

Afirmativa

Negativa

A es Y

A no es Y

Universal
Comn

Particular

Todo X es Y

I
Algn X es Y

Ningn X es Y

Algn X no es Y

Una proposicin singular tiene una sola negacin, no puede ser

simultneamente verdadera ni falsa. Si una es verdadera, la otra es falsa y
viceversa. Su negacin es una relacin de contradiccin. No admite descenso
ni ascenso cuantitativo ya que es singular.
A: universal afirmativa
E: universal negativa
I: particular afirmativa
O: particular negativa

La siguiente formula nemotcnica ayudar para el anlisis del sujeto y el

predicado.

Sujeto

Predicado

La relacin entre los 4 tipos de proposicin se ve el siguiente esquema:

A

Con los siguientes cuadros podremos determinar el valor de verdad de las

proposiciones que se relacionan entre si, luego daremos ejemplos a modo de
ejercicio.

Relacin por
contradiccin
E
A

I
O

V
V
F
F

V
F
V
F

Relacin por
contrariedad

Relacin
sub-contraria

V
V
F
F

V
F
V
F

V
V
F
F

V
F
V
F

Relacin
sub-alterna
E
A

O
I

V
V
F
F

V
F
V
F

En la relacin contradictoria es fcil deducir, a partir del principio del tercero

excluido, que ambas no pueden ser verdaderas ni falsas a la vez, por lo que si
una es verdadera, la otra necesariamente tiene que ser falsa, y viceversa.
Puesto que no se puede afirmar y negar lo mismo de lo mismo.
En la relacin por contrariedad tenemos que solo no pueden ser ambas
verdaderas, porque una es la pura y simple negacin de la otra. No as si son
ambas falsas, aunque si una de las dos es falsa no se puede determinar la otra
ya que puede ser verdadera o no.
En la relacin sub-contraria, opuestamente, no puede ser que ambas san
falsas, puesto que al menos una debe ser verdadera al referirse a un parte del
mismo todo, al cual se refieren las dos. En cambio s pueden ser ambas
verdaderas puesto que una puede referirse a una parte y la otra a la otra parte.
Lo que s ocurre aqu es que si una es verdadera la otra queda indeterminada,
no as si una es falsa, pues, al saber que no pueden ser ambas falsas,
necesariamente la otra ser verdadera.
En la relacin sub-alterna si la universal es verdadera, a la particular le toca
ser solo verdadera, en cambio si la particular es verdadera, la universal queda
indeterminada, si la particular es falsa, la universal solo es falsa, y si la
universal es falsa, la particular queda indeterminada.
Ejemplos:
Ciertos alumnos tienen dificultad con las reglas lgicas. (Suponiendo que es V,
verdadera y luego falsa F)
Sub-alterna
Contradictoria

Algn X es Y
(V)
Todo X es Y
(?)
Algn X no es Y (?)

(F)
(F)
(V)

Sub-alterna

Ningn X es Y

(F)

(V)

Razonamiento: primero el tipo de proposicin es particular afirmativa, y

partiendo, primero, del supuesto de que es verdadera buscamos su sub-alterna
la cual es una universal afirmativa, luego mentalmente, vamos a la tabla de la
relacin sub-alterna para ver el valor de verdad de la universal, vemos
entonces que la particular es verdadera, por lo tanto la universal queda
indeterminada. Ahora buscamos la contradictoria de la universal, la cual es
una articular negativa, entonces al no saber el valor de verdad de la universal
afirmativa, no se puede saber el de su contradictoria, pero esta ltima es subcontraria a la primera, vamos al cuadro de la relacin sub-contraria, y si
sabemos que la primera es verdadera su sub-contraria queda indeterminada.
Ahora buscamos de esta ltima su sub-alterna que es una universal negativa, y
vemos que es contradictoria con la primera lo cual nos dice que solo hay una
posibilidad si una es verdadera o falsa, entonces si la particular afirmativa es
verdadera su contradictoria necesariamente tiene que ser falsa.
No todos los animales son especialmente simpticos (F)
Algn X no es Y
Sub-contraria Algn X es Y
Sub-alterna Todo X es Y
Contradictoria Algn X no es Y
Sub-alterna
Ningn X es Y

(F)
(V)
(V)
(F)
(F)

Nadie es profeta en su tierra (V)

Ningn X es Y
Contraria
Todo X es Y
Sub-alterna
Algn X es Y
Contradictoria Ningn X es Y
Sub-alterna
Algn X no es Y

(V)
(F)
(F)
(V)
(V)

La equipolencia: una proposicin cualquiera es equivalente a la negacin de

su contradictoria.

Algn hombre no es blanco

Conversin:

No todo hombre es blanco

Pasar una proposicin a su equivalente lgico.

a=b
Convertiente

b=a
conversa

Tipos de conversin:
Simple: vlida para
las proposiciones de
tipo E e I

Conversin

Por accidente o
limitacin: vlida para las
proposiciones de tipo A y
E, las cuales pasan a ser
I y O, respectivamente

Por contraposicin:
vlida para las
preposiciones de tipo A y
O, las cuales pasan a ser
A e I, respectivamente

E. Ningn X es Y

ningn Y es X

I. Algn X es Y

algn Y es X

A. Todo X es Y

E. Ningn X es Y

A. Todo X es Y

O. Algn X no es Y

I. algn Y es X

O algn Y no es X

A. todo no Y es no X

I. algn no Y es X

La conversa mantiene el valor de verdad de la convertiente, salvo en el caso

de la conversin por accidente; si la convertiente es verdadera la conversa lo
es tambin, pero si es falsa, la conversa queda indeterminada, pues al ser
particular y al no poder inferir una la verdad de una particular con la verdad de
una universal, puede ser verdadera o falsa.
La conversin simple se podra explicar de la siguiente manera:
dado ningn x es y, quiere decir que ninguno de los individuos x pertenece al
conjunto y, o a los individuos y, entonces queda en evidencia que ningn
individuo y pertenece a los individuos x, de aqu que ningn x es y sea el
equivalente lgico a decir ningn y es x. As mismo sucede con la particular
afirmativa algn x es y, la que quiere decir que solo algunos individuos x

pertenecen a los individuos y, es decir son y, por lo que es manifiesto que

tambin algunos y pertenecen a los individuos x, o sea son x.

Este tipo de conversin solo se aplica a las proposiciones de tipo E y a las de

tipo I. Con el siguiente esquema creo que quedar mas claro:
X
X

xy

Y
Ningn x es y

Ningn y es x

Algn x es y

Algn y es x

En el caso de la conversin por accidente (per accidents) se trata de traspasar

una universal a una particular, y teniendo en cuenta que en toda conversin se
invierte el orden de los trminos, se deduce que si se queda universal corre el
riesgo de que un trmino aumente de extensin y diga ms que la proposicin
original, y esto no puede ser. Por lo que este tipo de conversin solo es posible
para las proposiciones de tipo A y E, las cuales se convierten a sus particulares
respectivamente I y O. Entonces, dado todo x es y, quiere decir que todos los
individuos x pertenecen a los individuos y, o son y, lo que quiere decir es, que
el grupo y es mayor, pues dentro de l estn contenidos lo x. Por lo tanto, es
claro que solo algunos y forman parte de los x, he aqu su conversa por
accidente, algn y es x.
En el caso de ningn x es y, quiere decir, como vimos anteriormente, que
ningn solo individuo x es parte de los y, por lo que su conversa ser, algn y
no es x, ya que sabiendo que ningn y es x, puedo decir con razn que algn y
no es x, pues se infiere de la verdad de la universal. En el esquema ser mas
claro:

Y
X

Ningn x es y

Algn y no es x

Todo x es y

Algn y es x

Ahora veamos la conversin por contraposicin, la cual es un tanto compleja,

pero se desarrolla de la misma manera, salvo que al invertir los trminos hay
que negarlos. Solo se puede aplicar esta conversin a las proposiciones de tipo
A y O, de las cuales resultan respectivamente A e I. En el caso de todo x es y
su conversa es todo no-y es no-x, donde es claro que se invirtieron los
trminos y se negaron; entonces como todos los individuos x son y, todo lo
que no es y no es x tambin o es no-x. Por otra parte en algn x no es y, su
conversa es algn no-y es x, cmo sucede esto, es clara la inversin de los
trminos, pero en su negacin est la clave, sin la simplificacin con la que se
obtiene el resultado quedara algn no-y no es no-x, como esto es a la vista
extrao, se suprime la doble negacin, la que es equivalente a un afirmacin, y
queda algn no-y es x. En el esquema queda ms claro:

No-x = lll

X que
no son y

X
que
son
y

No-y = ///
Y que
no son x

Por lo tanto algn no-y /// es o est en x

Algn x no es y

No-y

Algn no-y no es no-x

Algn no-y es x

El universo de
lo que hay

Y
X
Por ende no-x
tambin

Todo x es y

Todo no-y es no-x

Explicada ya la conversin es hora de introducirla en los ejemplos de

inferencia inmediata:
1.- algn x es y
Conversa:
Contradictoria:
Sub-alterna:
Conversa:
Contradictoria:
Conversa:
Sub-contraria:

(F)
algn y es x (F)
ningn y es x (V)
algn y no es x (V)
algn no-x es y (V)
ningn no-x es y (F)
algn y es x
(F)
algn y no es x (V)

En el ejemplo anterior, saltando el razonamiento ya aprendido, la 3

conversa queda algn y no es no-x, por lo que al eliminar la doble negacin

queda algn y es x. Como se ve en la primera conversin, la nica manera de

realizarla es simplemente, pues se la tiene que practicar a una proposicin de
tipo I, entonces solo se invierten los trminos. La segunda conversa se la tiene
que practicar a una proposicin particular negativa (O), por lo que la nica
posibilidad es la conversin por contraposicin, queda entonces algn no-x no
es no-y, y eliminando la doble negacin queda algn no-x es y1.
2.- Ningn x es Y
Conversa:
Contraria:
Contradictoria:
Conversa:
Conversa:
Contradictoria:
Conversa:

(V)
ningn y es x (V)
todo y es x
(F)
algn y no es x (V)
algn no-x es y (V)
algn y es no-x (V)
ningn y es no-x (F)
algn no-x no es y (?)

Como la proposicin dada es una E, se puede convertir simplemente o por

accidente, pero en el ejercicio hay un indicador, y es que tenemos que hallar la
contraria de la conversa de la proposicin dada, entonces sabemos que
tenemos que convertirla simplemente, pues de no ser as, la conversa sera
particular y una particular no tiene contraria, sino sub-contraria, por lo que la
conversa queda entonces ningn y es x, y su contraria es todo y es x. La
segunda conversa es por contraposicin, pues es la nica posible para una O.
La tercera conversa es aplicada a una I, por lo que necesariamente tiene que
ser convertida simplemente. Y la ltima contradictoria se le aplica a una I, ya
que puede inducir a error confundir es no-x con no es x, al principio, pues si se
examina y se manejan las reglas y equivalencias, caemos en cuenta de que son
lo mismo. Por ltimo la conversa final, en sta se podra realizar una
conversin simple, pero la haremos por accidente para mostrarla en la
prctica; entonces se pasa a una particular negativa y se invierten los trminos,
queda as algn no-x no es y, la que queda indeterminada ya que de la falsedad
de una universal cabe la posibilidad de que la particular sea verdadera o bien
falsa.

Proposiciones modales:
1

Recurdese que no-x es un solo trmino, por lo que, por ejemplo la sub-alternante de algn no-x es y,
vendra a ser todo no-x es y.

Aparecen con Aristteles, quien se pregunta Qu pasa con las proposiciones

de futuro?, esto es en el mbito de lo posible, ya que esto en el futuro, puede
ser o no ser, pero necesariamente tiene que ser, acontecer realmente, una de las
posibilidades. Por lo que ahora introduciremos a las mismas proposiciones
categricas, los modos de necesidad y posibilidad. Como por ejemplo: es
necesario que todos los seres humanos sean mortales; o traducido a lenguaje
formal necesario (que) todo x es y. Esto tambin puede ser posible, as
entonces, posible (que) todo x es y. Es manifiesto que si algo es imposible,
o no es posible, no puede ser necesario, y que si algo es necesario la condicin
recae en la posibilidad.
Las proposiciones pueden ser simplemente atributivas, o sea, del tipo S es P,
o X es Y, o bien pueden ser modales, y estas a su vez, pueden ser de
necesidad, o de posibilidad o contingencia. Veamos ahora un cuadro de
oposicin similar al de las proposiciones categricas, pero aplicando los
modos de posibilidad y necesidad:
Nec. P
No pos. No-P
No cont. No-P

Pos. P
No imp. P
Cont. P

Nec. No-P
Imp. P
No cont. P

No nec. P
Pos. No-P
Cont. No-P

Como se puede apreciar, el que haya tres formas posibles de decir lo mismo
en cada recuadro, no quiere decir que sean distintos y no cabe confusin
alguna. Lo contradictorio de necesario P, no posible no-P, y no contingente noP, es no necesario P, posible no-P y contingente no-P, respectivamente, para
que se note ordenado y no induzca alguna confusin. No posible no-P quiere
decir que no es posible que P no ocurra, sino que es necesario que p ocurra.
Ahora vamos a ver el cuadro de oposicin modal, con el que vamos a trabajar:

Necesario A

Necesario E

Nec. I

Nec. O

Pos. A

Pos.
E
Posible I

Posible O

Se ve un poco confuso, pero nombrar las relaciones una a una. Pero antes ha
que explicar que este tipo d proposiciones se conforma de dos partes, el modo,
que puede ser necesario o posible, y el dictum, que es el contenido de la
proposicin, o la proposicin categrica que conocemos. Queda entonces
claro que necesario A y posible O son contradictorias segn modo y dictum, y
que necesario A y necesario I, estn en una relacin de sub-alternacin 2, pero
solo segn dictum, y que necesario A y posible A, estn tambin en una subalternacin, pero esta vez es segn modo.
1.- necesario A es contradictoria3 con posible O, contraria de necesario E, subalternante de posible I, todo esto segn dictum y modo4; ahora: necesario A es
sub-alternante segn dictum de necesario I y sub-alternante segn modo de
posible A.
2.- necesario I es la sub-alterna segn dictum de necesario A, la subalternante segn modo de posible I, y la contradictoria, segn modo y dictum
de posible E.

Recordar que la sub-alternante es la proposicin de arriba, y la sub-alterna es la de abajo, con lo que podra
hacerse una analoga: el sub-alterno de un oficial de alto rango es uno de menor rango.
3
Todas las contradictorias se oponen en todo entre s, en modo y en dictum.
4
Se har explcita la referencia de que necesario E y necesario A son contrarias segn dictum, o solo
contrarias, pues es la nica forma de que sean contrarias. Al igual que posible I es sub-contraria de posible O,
el que se mencione que sea segn dictum es solo para hacerlo mas evidente, pero no se usa a la hora de los
ejercicios, solo son sub-contrarias.

3.- posible A es la sub-alterna segn modo de necesario A, la sub-alternante

segn dictum de posible I y la contradictoria segn modo y dictum de
necesario O.
4.- posible I ea la sub-alterna segn modo y dictum de necesario A, la
contradictoria segn modo y dictum de necesario E, la sub-contraria segn
dictum, o solo la sub-contraria en este caso, de posible O, la sub-alterna segn
modo de necesario I y la sub-alterna segn dictum de posible A.
5.- necesario E es contraria segn dictum de necesario A, sub-alternante segn
modo y dictum de posible O, contradictoria segn modo y dictum de posible I,
sub-alternante segn dictum de necesario O y sub-alternante segn modo de
posible E.
6.- necesario O es sub-alterna segn dictum de necesario E, sub-alternante
segn modo de posible O y la contradictoria segn modo y dictum de
posible A.
7.- posible E es la sub-alternante segn dictum de posible O, la sub-alterna
segn modo de necesario E y la contradictoria segn modo y dictum de
necesario I.
8.- posible O es la sub-alterna segn modo y dictum de necesario E, la subcontraria segn dictum, o solo la sub-contraria de posible I, la contradictoria
segn modo y dictum de necesario A, la sub-alterna segn dictum de posible E
y la sub-alterna segn modo de necesario O.
Enunciadas ya las relaciones entre las proposiciones, vasta con decir, acerca
de cmo se aplica la conversin a las proposiciones modales, que slo se
aplica al dictum, no al modo.
A modo de explicacin de lo antes visto necesario E es necesario ningn x es
y, necesario A es necesario todo x es y, y as con todas las proposiciones.
Ejemplos:
1.- Necesario E
(V)
Necesario ningn x es y
Sub-alterna s/d:
Sub-alterna s/m:
Contradictoria:
Sub-alterna:
Contradictoria:

necesario algn x no es y
posible algn x no es y
necesario todo x es y
posible algn x es y
necesario ningn x es y

(V)
(V)
(F)
(F)
(V)

Como se logra ver, de las dos primeras sub-alternas, una es segn dictum y la
otra segn modo, y como la universal es verdadera la particular no puede ser
falsa, y como tambin si es necesario, tiene que ser posible, o de lo contrario
sera imposible y por lo tanto no podra ser. La contradictoria tiene que ser,
como lo vimos, total, es decir segn modo y dictum. Cuando aparece la subalterna sin la especificacin de modo o dictum, se trata de la sub-alterna
original, podra decirse, es decir, la subalterna de una A es una I, por
consiguiente la de necesario A es posible I; y como no podemos determinar el
valor de verdad de esta solo con la universal falsa, vemos que se trata de la
contradictoria de la proposicin dada.
2.- Necesario E
(V)
Necesario ningn x es y
Contraria:
Sub-alterna s/d:
Contradictoria:
Conversa:
Conversa:
Sub-alternante s/d:
Contradictoria:

necesario todo x es y (F)

necesario algn x es y (F)
posible ningn x es y (V)
posible ningn y es x (V)
posible algn x no es y (V)
posible ningn x es y (V)
necesario algn x es y (F)

En este caso la sub-alterna s/d queda indeterminada segn las proposiciones

anteriores pero se sigue desarrollando llegamos a que la sub-alternante es la
sub-alterna segn modo de la proposicin dada, por lo que es verdadera
tambin, y como esta es verdadera y resulta ser la contradictoria de la subalterna s/d, esta queda falsa, entonces la contradictoria que le sigue es
verdadera, la conversa, como mantiene el mismo valor de verdad de la
convertiente, queda tambin verdadera, la conversa siguiente al ser por
accidente, pues se pide luego la sub-alternante, es verdadera al ser verdadera
la universal; la sub-alternante y vimos que es sub-alterna segn modo de la
proposicin dada y es verdadera, entonces la contradictoria es falsa.
Para ejercitar: de necesario I, buscar: contradictoria, conversa, sub-alterna,
sub-contraria, conversa, sub-alternante, contraria, conversa, y conversa. De
necesario A, buscar: contradictoria, conversa, sub-alternante, contraria,
contradictoria, sub-alternante s/d, contradictoria, conversa y sub-alterna. De
posible E, buscar: conversa, contradictoria, conversa, contradictoria, sub-

alterna s/d, contradictoria, sub-alterna, sub-contraria, sub-alternante s/d y

conversa.