Sie sind auf Seite 1von 11

LOGICA I

CLASIFICACION DE LAS PROPOSICIONES


En toda proposicin se puede distinguir dos aspectos: la materia y la forma.
Constituyen la materia de la proposicin los trminos que entran como sujeto y predicado. La
forma de la proposicin est referida a la cpula verbal en virtud de la cual se unen -o
separan- el Sujeto y el Predicado.
De acuerdo a la distincin vista, las proposiciones pueden ser divididas formal o
materialmente. Se dice que se dividen materialmente si el punto de referencia est dado por la
materia misma de la proposicin; esto es, por los trminos.
Se dividen formalmente, en cambio, si la divisin atiende a lo que constituye su forma:
la cpula verbal.
Desde el punto de vista de la materia, las proposiciones se dividen segn la cantidad
(extensin con que est tomado para efectos de recibir la predicacin) del trmino que oficia
de sujeto. Desde la forma, la ms obvia y manifiesta de las divisiones distingue segn si la
cpula une o separa el sujeto del predicado: proposiciones afirmativas y negativas.
Los criterios ms importantes para clasificar las proposiciones, adems de la calidad de la
cpula y la cantidad del sujeto se determinan por: a) la diversidad de las cpulas; b) la
modalidad de las cpulas. De acuerdo a lo anterior, una clasificacin general atendiendo a los
criterios sealados es:
I.- Segn la diversidad de cpulas:
formalmente
compuestas
a)

proposiciones
compuestas
virtualmente
compuestas

b)

proposiciones
simples o
categricas
se dividen a su vez
en ....................

copulativas ....... 'y'


disyuntivas ....... 'o'
condicionales .....'si...entonces'
exceptivas ......'salvo, excepto'
exclusivas

......'slo'

reduplicativas.....'en tanto que'

afirmativas.. 'S es P'


negativas ... 'S no es P'

II.- Por otra parte, atendiendo a si el predicado es recibido simplemente por el sujeto o bien
bajo una cierta modalidad, se dividen en:
a)

proposiciones
simplemente
atributivas

............. 'S es P' o 'S no es P'

(inesse)
necesidad
b)

proposiciones
modales ........

............. 'es necesario que..'

contingencia ............. 'es contingente que..'


posibilidad

............. 'es posible que..'

imposibilidad ............. 'es imposible que..'


Adems, si se considera la extensin con que est expresamente tomado el sujeto con respecto
del trmino de predicacin -lo que es establecido por el cuantificador-, las proposiciones
pueden dividirse en:
y

a) singulares

............. 'este rbol'

b) comunes

las comunes, por su parte, se pueden dividir en:


b.1.- universales

.............'todo rbol'

b.2.- particulares

.............'algn rbol'

Es claro que esta clasificacin de proposiciones no agota la amplia gama de


formulaciones posibles que se pueden hacer en el uso cotidiano del lenguaje, el cual admite
formas relativamente imprecisas de enunciacin que obligan a atender aspectos de la materia
misma de la predicacin a fin de poderlas reducir a alguna de las frmulas antes expresadas;
este es, precisamente, el caso, entre otras, de los enunciados que comienzan con el artculo
determinado 'el'. Sin embargo, en la lgica clsica, la teora de la suposicin de los trminos
proporciona criterios bastante adecuados para resolver estos problemas de interpretacin.
Una consideracin mixta de criterios, especficamente la cantidad del sujeto y la
calidad de las cpulas, permite una nueva clasificacin de especial inters para la teora de la
inferencia lgica. Expresada esta divisin en una tabla de dos entradas quedan las
proposiciones clasificadas del siguiente modo:
CALIDAD
AFIRMATIVAS

NEGATIVAS

UNIVERSALES

'todo S e P'
(A)

'ningn S es P'
(E)

PARTICULARES

'algn S es P'
(I)

'algn S no es P'
(O)

CANTIDAD

EXPLICACION DE LAS PROPOSICIONES HIPOTETICAS

Las proposiciones compuestas, en tanto formadas por ms de una proposicin simple,


implican ms de una cpula, de tal modo que si bien constituyen una sola afirmacin, ella
descansa -en cuanto a la verdad que expresa- en la verdad de sus proposiciones componentes.
Por esta razn, las proposiciones compuestas son llamadas tambin 'hipotticas' y se
distinguen de las proposiciones simples en que stas son categricas, dado que su verdad o

falsedad depende tan solo de la conveniencia o disconveniencia existente entre el sujeto y


aquello que se le atribuye.
La divisin entre proposiciones formal y virtualmente compuesta apunta a si su
composicin es manifiesta o se encuentra implcita. Las proposiciones formalmente
compuestas suelen dividirse, como lo seala el cuadro anterior, en copulativas, disyuntivas y
condicionales; las virtualmente compuestas en exceptivas, exclusivas y reduplicativas.
PROPOSICIONES COPULATIVAS

Son proposiciones formadas por ms de una proposicin simple unidas por la conjuncin
copulativa 'y' o alguna de las expresiones que lgicamente expresan una relacin semejante a
lo que la conjuncin 'y' indica, esto es, la ocurrencia de la verdad de cada una de sus
componentes de tal modo que ser verdadera cada vez que todos sus miembros lo sean y falsa
cuando al menos uno de ellos sea falso. La conjuncin 'y', al igual que otras partculas gramaticales, tienen como funcin conectar enunciados, por esta razn se les conoce con el
trmino genrico de 'conectivas'. La 'y' y sus equivalentes lgicos son simbolizados en la
lgica formal moderna por los signos '.' o bien '&'. Son, a su vez, equivalentes lgicos de la
conectiva 'y' las expresiones adversativas 'pero', 'sin embargo', 'mas', la causativa 'porque' y
otras semejantes. No se trata aqu de hacer un recuento completo de tales partculas sino de
indicar las formas de uso ms frecuente y para ello baste con lo dicho.
Utilizando las frmulas desarrolladas por la lgica formal moderna, las condiciones de
verdad de las proposiciones copulativas -considerando una lgica bivalente donde cada
enunciado puede ser o bien verdadero (V) o bien falso (F)-, pueden ser expresadas en la
siguiente tabla:
p q

p.q

V
V
F
F

V
F
F
F

V
F
V
F

'p' y 'q' simbolizan dos enunciados cualesquiera tales como 'Scrates caminaba en Atenas con
sus discpulos' y 'Juan fuma cigarrillos con filtro'.
PROPOSICIONES DISYUNTIVAS

Las proposiciones disyuntivas estn formadas por ms de una proposicin simple


conectadas por la disyuncin 'o' o la expresin ms enftica 'o bien'. La disyuncin 'o' es
relativamente equvoca en espaol por cuanto admite a lo menos dos acepciones que, manteniendo una base comn, sin embargo tienen un alcance distinto; la primera de estas formas es
llamada 'dbil' o 'inclusiva', por cuanto slo excluye la posibilidad de que los extremos de la
disyuncin sean falsos. La otra forma es llamada 'fuerte' o 'exclusiva' y excluye tanto la posibilidad de que ambos extremos sean verdaderos como tambin falsos. La lgica formal
moderna ha adoptado para simbolizar la disyuncin el signo 'v' (del latn 'vel') para la forma
dbil y el signo 'v' (equivalente al latn 'aut') para la forma excluyente.

Las condiciones de verdad para las proposiciones disyuntivas pueden ser expresadas en la
siguiente 'tabla de verdad':

p q

pvp pvq

VV
VF
FV
FF

V
V
V
F

F
V
V
F

PROPOSICIONES CONDICIONALES

Se llama condicionales a proposiciones que, en general, tienen la forma 'si....entonces', o


bien puedan ser reducidas a esa estructura proposicional bsica; v.g. 'cada vez que llueve, me
mojo', que puede ser llevada a la forma ms obvia 'si llueve entonces me mojo'.
La nocin misma de 'condicionalidad' presenta ms de un problema que no es del caso
analizar aqu, basta para la situacin presente sealar que en el lenguaje cotidiano (coloquial)
es frecuente encontrar formas que difcilmente podran resistir un anlisis de condicionalidad
estricto; a modo de ejemplos: a) 'si la tierra gira, se mueve', b) 'si llueve, me mojo', c) 'si gano
la lotera, me compro un yate', d) 'si X aprende lgica, yo soy un marciano'. Un anlisis elemental nos muestra que mientras a) expresa una condicionalidad analtica, esto es, que el
condicionado se sigue necesariamente de la condicin por mero anlisis de las expresiones
que la forman. El ejemplo b) apunta ms bien a una situacin de orden causal fsico; por su
parte, c) indica una expresin de voluntad o deseo que no se sigue necesariamente de la
condicin, por ltimo, es claro que puede acontecer muchas veces la condicin (que X
aprenda lgica) pero no por ello acontecer necesariamente el condicionado.
Lo mnimo comn que se expresa en todas y cada una de estas proposiciones es que la
ocurrencia de la condicin (o simplemente 'antecedente') debe ser seguida por la ocurrencia
del condicionado ('consecuente'), de tal modo que no debera acontecer el primero sin que el
segundo tambin acontezca. Esto es lo que se expresa en la siguiente tabla de verdad:
p q ~q

(p.q)

(p.~q)

~(p.~q) <=> p => q

VV F
VF V
FV F
FF V

V
F
F
F

F
V
F
F

V
F
V
V

V
F
V
V

o ms simplemente:
p q

p => q

VV
VF
FV
FF

V
F
V
V

Las proposiciones virtualmente compuestas son, como se indic previamente,


a)exceptivas, b) exclusivas y c) reduplicativas. En cuanto a sus condiciones de verdad se
comportan de modo semejante a las proposiciones copulativas, esto es, su verdad depende de
que cada una de sus componentes tambin lo sea y para su falsedad basta que una de sus
componentes lo sea.
Las proposiciones virtualmente compuestas son llamadas tambin 'exponibles', en tanto
que requieren explicitar sus componentes. De este modo:

a) Las proposiciones exceptivas se resuelven en tres proposiciones:


a.1.- Una que establece la norma general
a.2.- la que establece que el sujeto de la excepcin est
contenido en la extensin del sujeto de la norma general
a.3.- la que establece que el predicado del sujeto de la norma
general no es aplicable al sujeto de la excepcin
por ejemplo:
"todos los cuerpos se contraen con el fro, salvo el agua"
que se resuelve en:
i) todos los cuerpos se contraen con el fro
ii) el agua es un cuerpo
iii) el agua no se contrae con el fro
b) Las proposiciones exclusivas se resuelven o exponen en dos proposiciones simples:
b.1) La que establece el predicado excluyente
b.2) la que establece que el sujeto cae bajo la extensin de un sujeto de mayor extensin para
el cual no se aplica el predicado excluyente
por ejemplo:
"slo el agua [de entre los cuerpos] se dilata con el fro"
se resuelve en:
i) el agua se dilata con el fro
ii) ningn otro cuerpo se dilata con el fro
c) La proposicin reduplicativa, en la cual la partcula 'que duplica' est tomada
especificativamente -en tanto restringe o determina bajo qu calidad el sujeto recibe el
predicado-, se resuelve en dos o tres proposiciones, segn sea el caso:
c.1) Una que expresa la presencia en el sujeto de la calidad bajo
la cual conviene el predicado.
c.2) la que establece que cualquier sujeto que ostente tal calidad
posee la propiedad que se atribuye.
por ejemplo:
"el hombre, en cuanto racional, re"
se resuelve en:
i) el hombre es racional
ii) Todo ser racional tiene la facultad de reir
LA INFERENCIA INMEDIATA

En general se puede entender inferir como el establecimiento de una verdad nueva a


partir de algo ya conocido como tal. En el orden de la inferencia se pueden distinguir diversos
modos, algunos de los cuales se han visto implcitamente al considerar las leyes que rigen las

condiciones de verdad de las proposiciones compuestas. En este punto preciso se considerarn


aquellas leyes que se siguen del anlisis de las caractersticas de las proposiciones categricas
de forma tpica (A, E, I y O,).
1.- CONTRADICTORIAS: Un ejemplo de proposicin del tipo A es 'todo X es Y', y puede ser
expresada diciendo 'cualquier cosa que sea X es tambin Y'. Este enunciado puede ser
simplemente negado (declarado falso) con un enunciado que declare que 'no es el caso que
cualquier cosa que sea X es tambin Y', para lo cual basta con afirmar que 'hay a lo menos
algo que es X pero que no es a la vez Y', lo cual equivale a afirmar un enunciado de la forma
'algn X no es Y', que es la forma tpica de una proposicin del tipo O.
Anloga es la situacin si se considera un enunciado del tipo 'no es el caso que existe
siquiera un X que sea a la vez Y' (proposicin del tipo E), cuya pura y simple negacin se
establece al afirmar que 'hay a lo menos algo que es X y es a la vez Y' (proposicin del tipo I).
En general, se puede afirmar que dos proposiciones son contradictorias entre s cuando
una afirma lo que otra niega pura y simplemente. Entre proposiciones cuantificadas, es la
relacin que existe entre una universal y una particular que difiere de la universal tanto en
cantidad del sujeto como calidad de la cpula. En el caso de las proposiciones de singular, que
en razn de la determinacin de su sujeto no admiten ascenso ni descenso cuantitativo, es la
relacin de simple afirmacin o negacin de la propiedad expresada por el predicado.
Es manifiesto que un par de enunciados contradictorios no pueden sostenerse como
verdaderos simultneamente, es decir, en caso de la verdad de uno de los miembros del par
opuesto se sigue necesariamente la falsedad del otro miembro.
CONTRARIAS:

son contrarias dos proposiciones que coinciden en la cantidad (ambas


universales) pero difieren en la calidad; esto es, una afirma universalmente lo que la otra
niega universalmente. Dadas las caractersticas de la relacin existente entre ambas, es
manifiesto que no pueden ser simultneamente verdaderas, sin embargo s pueden ser falsas a
la vez. Es la relacin que existe entre las proposiciones A y E.
SUBCONTRARIAS:

es la relacin que existe entre proposiciones particulares de tal modo que


una afirma y la otra niega un mismo predicado del sujeto. Sin embargo, dada la
indeterminacin que se expresa en un sujeto particular, no es posible establecer que se trate
necesariamente del mismo sujeto al cual se atribuye determinada propiedad. por lo tanto, si
bien es posible que ambas sean simultneamente verdaderas, no lo es que ambas sean falsas.
Esta relacin es la que se manifiesta entre proposiciones del tipo I y del tipo O.
SUBALTERNACION:

es la relacin existente entre proposiciones que coinciden en la calidad


pero difieren en la cantidad, especficamente es lo que sucede entre los pares de
proposiciones A - I y E - O. En cuanto a sus condiciones de verdad, no puede darse el caso de
que la universal sea verdadera y la particular correspondiente sea falsa, pero s es posible que
siendo la universal falsa, la particular sea verdadera; del mismo modo, si la particular es falsa,
la universal debe serlo, sin embargo, si la particular es verdadera, la universal puede ser
perfectamente falsa.
Todas las relaciones sealadas antes se siguen estrictamente del puro anlisis formal
de las proposiciones categricas y considerando a la vez la aplicacin de los principios
fundamentales del pensamiento, independientemente del contenido que en ellas se exprese.
CONVERSION DE PROPOSICIONES

Convertir una proposicin consiste en invertir el orden de los extremos (sujeto y


predicado) de modo que la proposicin resultante (conversa) exprese la misma verdad que la
proposicin original (convertiente). Sin embargo, dado que en no todas las proposiciones

clsicas (A, E, I, O) los extremos estn tomados con la misma extensin es necesario advertir
que la conversin simple y directa no es igualmente legtima para todos los tipos de
proposicin. Es as como:
1) Las proposiciones del tipo 'E', tienen tanto el sujeto como el predicado tomados con la
misma extensin (universal), por lo que al invertir sus funciones no se produce alteracin en
cuanto a la verdad que la proposicin original expresa. La misma situacin acontece con las
proposiciones del tipo 'I', cuyos extremos estn tomados con una extensin particular. Por
consiguiente, es perfectamente legtimo establecer que:
i) si 'ningn X es Y' es V

'ningn Y es X' es V

ii) si 'algn X es Y' es V

'algn Y es X' es V

iii) si 'ningn X es Y' es F

'ningn Y es X' es F

iv) si 'algn X es Y' es F

'algn Y es X' es F

Este modo de conversin es llamado 'conversin simple', por cuanto no se altera ni la cantidad
ni la calidad de la proposicin resultante en relacin a las caractersticas de la original.
2) Las proposiciones del tipo 'E' y 'A' admiten una forma de conversin que implica una cierta
forma de inferencia en tanto se pasa de una afirmacin universal a una ms restringida
(particular). Esta forma de conversin es llamada 'por accidente' y consiste en variar la
'cantidad' total de la proposicin. Sin embargo, dado que se trata de una forma disminuida se
deben aplicar las reglas generales de la subalternacin de proposiciones. De acuerdo a lo
anterior, la situacin es la siguiente:
i) si 'todo X es Y' es V

'algn Y es X'

es V

ii) si 'todo X es Y' es F

'algn Y es X'

es ? (no se infiere)

iii) si 'ningn X es Y' es V

'algn Y no es X'

es V

iv) si 'ningn X es Y' es F

'algn Y no es X'

es ? (no inf.)

3) Las proposiciones del tipo 'A' y 'O' -an cuando no exclusivamente- pueden ser convertidas
expresando lo mismo que la proposicin original por va de la 'clase complementaria'. Se
llama 'clase complementaria' al complemento implcitamente excluido al formular una clase
dada; por ejemplo: dada la clase 'hombre', el complemento de ella ser 'no hombre', que junto
a la clase dada (hombre) constituyen el universo total del discurso ('hombre' + 'no hombre' =
universo total).
Este modo de conversin es llamado 'contraposicin y obversin' y consiste en invertir
simplemente los extremos y luego negarlos ('X es Y' a 'no Y es no X'). Acontece, sin
embargo, una cierta paradoja con las proposiciones del tipo 'O', por cuanto al llevar a cabo la
conversin se produce una doble negacin que, al eliminarla, d origen a una proposicin
formalmente afirmativa('algn X no es Y' a 'algn no Y no es no X'= 'algn no Y es X'). De
este modo, las inferencias son:
i) si 'todo X es Y'

es V

'todo no Y es no X'

es V

ii) si 'todo X es Y'

es F

'todo no Y es no X'

es F

iii) si 'algn X no es Y'

es V

'algn no Y es X'

es V

iv) si 'algn X no es Y'

es F

'algn no Y es X'

es F

En trminos de ejemplos elementales de este ltimo modo de conversin:


i) 'todo hombre es mortal' 'cualquier cosa que sea no mortal es a la vez no humana'
ii) 'algn hombre no es ngel' 'algo no anglico es humano'

Son, adems y entre otras, formas de inferencia inmediata la obversin y la


contraposicin.
La obversin es un proceso de inferencia en el que de una proposicin dada se
establece otra que tiene como predicado la contradictoria del predicado original.
El supuesto general en que descansa la obversin es el siguiente:
afirmar 'S es P' equivale a negar 'S es no-P'; esto es 'S no es no-P'
De acuerdo a lo anterior, se obtienen las formas de obversin para las proposiciones
categricas de forma tpica que pueden quedar presentadas en un esquema elemental. De este
modo, las transformaciones que sufre cada tipo de proposicin son visibles en el siguiente
cuadro:

a)

b)

c)

d)

OBVERTIENTE
SUJETO
PREDICADO

OBVERSA
SUJETO
PREDICADO

universal
todo S
universal
ningn S
particular
algn S
particular
algn S

universal
ningn S
universal
todo S
particular
algn S
particular
algn S

particular afirmativo
es P
universal afirmativo
es P
particular afirmativo
es P
universal afirmativo
no es P

universal-negativo
es no-P
E
particular negativo
es no-P
A
universal negativo
no es no-P
O
particular negativo
es no-P
I

La contraposicin es un proceso de inferencia, tambin inmediata, en el que de una


proposicin dada se infiere otra que tiene por sujeto la contradictoria del predicado de la
proposicin original. Lo anterior se esquematiza en el siguiente cuadro:
PROPOSICION ORIGINAL

A
E
I
O

todo S es P
ningn S es P
algn S es P
algn S no es P

CONTRAPUESTA

E
I
I

ningn no-P es S
algn no-P es S
----------algn no-P es S

EQUIPOLENCIA: se llaman equipolentes dos proposiciones que son distintas formas de


expresin de la misma verdad y se construyen por simple negacin de la contradictoria de
cada proposicin. Esto se hace manifiesto en el cuadro siguiente:
PROPOSICION ORIGINAL

CONTRADICTORIA

EQUIPOLENTE

A
E
I
O

O
I
E
A

no (algn S no es P)
no (algn S es P)
no (algn S es P)
no (todo S es P)

todo S es P
ningn S es P
algn S es P
algn S no es P

algn S no es P
algn S es P
ningn S es P
todo S es P

PROPOSICIONES MODALES:

en las modales se distingue dos aspectos: el dictum y el modo.


El dictum se refiere al contenido de la proposicin, v.g. "Scrates es filsofo" o bien "todo
tringulo tiene tres lados".
El modo dice relacin con la cpula en cuanto a bajo qu tipo de determinacin
conviene el predicado al sujeto. En este sentido, un predicado puede atribuirse al sujeto como
algo que no puede no pertenecerle (modo de necesidad) o bien que puede pertenecerle de
forma puramente contingente.
V.g. : 1) Scrates necesariamente es mortal
Socrates necesariamente no es ave
2) Scrates contingentemente pasea (o no) por el gora
En general se puede distinguir dos tipos de atribucin modal:
1) Necesidad

contingencia

2) Posibilidad

imposibilidad

Los tipos de oposicin suelen ser reducidos por los lgicos a simplemente dos:
necesidad y posibilidad. El modo de imposibilidad se reduce negativamente al de necesidad:
'imposible que no' y el de contingencia directamente al de posibilidad.
En cuanto a la calidad de las proposiciones modales, hay que considerar tanto el
dictum como el modo. este aspecto se puede resumir convenientemente en la siguiente tabla:
DICTUM

MODO

CALIDAD DE LA PROPOSICION

afirmativo
afirmativo
negativo
negativo

afirmativo
negativo
afirmativo
negativo

afirmativa
negativa
negativa
afirmativa

Por otra parte, los modos pueden ser reducidos unos a otros en trminos de
equivalencias lgicas, tal como se advierte en el siguiente esquema:
i

es posible que sea


es contingente que sea
no es imposible que sea
no es necesario que no sea

es imposible que sea


es necesario que no sea
no es posible que sea
no es contingente que no sea

ii

es posible que no sea


es contingente que no sea
no es imposible que no sea
no es necesario que sea

es necesario que sea


no es contingente que sea
es imposible que no sea
no es posible que no sea

las proposiciones de cada grupo son lgicamente equivalentes entre s y se opone


contradictoriamente a las del grupo de enfrente. Del mismo modo, por simple negacin de sus
contradictorias se puede obtener la equipolente de cualquiera de ellas; v.g.
es posible que sea
es posible que no sea

no es imposible que sea


no es necesario que sea

Dadas estas relaciones bsicas, se puede establecer una figura de oposicin


considerando la modalidad de las proposiciones.
CUADRO DE LA OPOSICION MODAL

A.- OPOSICION SIMPLE DE MODO, SIN CONSIDERAR EL SUJETO, SEA ESTE UN TERMINO
UNIVERSAL O SINGULAR

Se pueden distinguir cuatro modos bsicos que constituyen una figura de oposicin
modal. Estos modos pueden ser considerados como modos dbiles, o particulares, y modos
fuertes, o universales. Son considerados modos fuertes -asimilables por analoga a lo que en
las proposiciones categricas son los cuantificadores universales- los de necesidad y de
imposibilidad. En cambio son asimilables a los cuantificadores particulares los de
contingencia y de posibilidad.
Por otra parte,
negativos.

se puede distinguir en los modos la cualidad de afirmativos o

Son modos afirmativos:

Son, en cambio negativos:

-Es necesario que sea


-Es posible que sea

-Es imposible que sea (necesario que no sea)


-Es posible que no sea

De acuerdo a lo sealado, se puede configurar una figura de oposicin modal simple, cuyo
comportamiento es semejante al cuadro de la oposicin categrica, y queda de la siguiente
forma:
A
Es necesario que sea

E
Es imposible que sea
(necesario que no sea)

I
Es posible que sea

O
Es posible que no sea

Si se introduce como sujeto del dictum de la proposicin modal un trmino singular que, en
cuanto determinado con precisin en su extensin, no admite ascenso ni descenso
cuantitativo, la figura de oposicin que se puede construir es la siguiente:

A
Es necesario que
Scrates camine

E
Es imposible que
Scrates camine

I
Es posible que
Scrates camine

O
Es posible que
Scrates no camine

B.- CON UN SUJETO CUANTIFICADO (cantidad del dictum)

(1)
Es necesario que
Todo X sea Y

(2)
Es necesario que
Ningn X sea Y

(5)
Es necesario que algn

(6)
Es necesario

X sea Y

que algn
X no sea Y

(8)
Es posible
que todo
X sea Y

(7)
Es posible
que ningn
X sea Y
(4)
Es posible que
Algn X sea Y

(3)
Es posible que
Algn X no sea Y