Lectura 5

Lgica Simblica

LECTURA 5
Lgica simblica
Lgica de enunciados
Los enunciados son expresiones del lenguaje cuya caracterstica fundamental es ser verdaderos
o falsos. Se los distingue de otras expresiones lingsticas como las preguntas, las rdenes, las splicas o las exclamaciones en tanto que ninguna de estas expresiones se caracteriza por la verdad
o falsedad. Hemos dicho en captulos anteriores que un enunciado es verdadero cuando informa
adecuadamente y falso cuando no lo hace. Este criterio de verdad es lgico y parte del supuesto de
que entre el lenguaje y lo que este describe puede haber una cierta correspondencia. Cuando dicha
correspondencia es la adecuada estamos ante la verdad. Cuando la correspondencia no existe o no
es estrictamente adecuada, decimos que el enunciado es falso. Esta idea de la verdad proviene de
los griegos, principalmente de Aristteles, quien arma que decir de lo que es que es, es verdadero
y decir de lo que no es que es, es falso, y viceversa.
La lgica de enunciados o de las proposiciones considera a los enunciados como unidades indivisibles, es decir, que no se ocupa de analizar la estructura interna de los mismos. Esta es la razn
por la que su simbolismo no se corresponde con el de una lgica que parte de enunciados cuya estructura es la de las oraciones con sujeto y predicado. Este nivel de anlisis, que vimos en Mdulos
anteriores, recurra a esquemas como S es P para representar los enunciados. Entonces interesaba mostrar el sujeto y el predicado de los enunciados, adems de hacer explcitas su cantidad y
su cualidad.
Si consideramos a los enunciados como unidades indivisibles sin importarnos si tienen sujeto y
predicado o si son universales o particulares, podemos representarlos sin ningn problema usando
solo una letra por cada uno. Podemos, por ejemplo, simbolizar el enunciado: todos los perros son
animales con la letra p, y al enunciado: algunos gatos son negros con q. Y del mismo modo
podemos hacer con cualquier enunciado diferente de los anteriores. Si son uno, dos, tres o ms,
le podemos asignar a cada uno de ellos, siguiendo el orden alfabtico de las consonantes del castellano a partir de p, las letras que corresponden en dicha sucesin. Si uno de los enunciados se
repite, se lo representar siempre por la misma letra tantas veces como sea necesario. Considerado
una sucesin de enunciados como esta: algunos gatos son negros, algunos conejos son blancos y
algunos tigres son manchados, representaremos a algunos gatos son negros con p, y a los dos
siguientes enunciados con q y r respectivamente.
Las letras que usamos para representar a los enunciados se llaman variables enunciativas o
variables proposicionales , habida cuenta de que proposicin es sinnimo de enunciado. A los
efectos de simplicar nuestro lenguaje cuando hablemos de enunciados o proposiciones estaremos
diciendo lo mismo. Adems, podemos referirnos a las variables proposicionales como si fueran las
proposiciones mismas. Esto quiere decir que podemos referirnos a p como la proposicin o el
enunciado p.
Las proposiciones o enunciados se pueden considerar separadas de cualquier discurso. Por
ejemplo, si decimos la puerta es amarilla sin relacionar esta proposicin con otra la estamos considerando aisladamente. Podemos representarla con p. A estas proposiciones se las suele llamar
proposiciones atmicas. Tambin se las llama proposiciones simples. Por supuesto que las proposiciones en un discurso o texto no estn, generalmente, aisladas las unas de las otras. Estn conectadas de algn modo. Estas proposiciones se denominan moleculares o complejas. Un ejemplo

de estas ltimas puede ser la puerta es amarilla y la ventana es marrn. Ambas estn conectadas
por una conjuncin, en este caso la y.
Tantos las proposiciones simples como las complejas son o bien verdaderas o bien falsas. Esto
permite establecer una relacin entre las proposiciones y la verdad o la falsedad que las caracteriza.
Se denominan valores de verdad a la verdad y a la falsedad de las proposiciones. Estos valores
se pueden asignar a las proposiciones de acuerdo a ciertos criterios. Como toda proposicin, hasta
tanto no se la verique, puede ser o verdadera o falsa, asignamos los dos valores. Supongamos que
la proposicin en cuestin es p.
Le asignaremos los valores verdad y falsedad del siguiente modo:
_p_
v
f
Si la proposicin es compleja tendremos en cuenta de qu manera estn conectadas las proposiciones simples que la componen.

Conectivas lgicas
Los signos que conectan a unas proposiciones con otras se denominan conectivas. Estas conectivas son la conjuncin, la disyuncin inclusiva, la disyuncin exclusiva, el condicional, el bicondicional, la negacin conjunta y la negacin alternativa. Estas conectivas se denominan operadores
didicos puesto que afectan a dos proposiciones a la vez. Si digo que Hctor estudia y Carlos
trabaja la conectiva es la y, que incide tanto sobre una como sobre la otra. Estas conectivas se representan por medio de smbolos convencionales. En nuestro caso las representaremos a cada una
de ellas del siguiente modo: la conjuncin (y) se representa p.q, y debe leerse p y q. La disyuncin
inclusiva (o) la representaremos p v q, que debe leerse p o q. El condicional se representa por pcq,
y puede leerse p entonces q. El bicondicional p=q, que se puede leer p si y slo si q. Y la disyuncin
exclusiva pwq, que puede leerse o bien p o bien q. Las dos conectivas restantes se derivan de las
anteriores y explicaremos su funcionamiento ms adelante.
Adems de las conectivas debe considerarse un operador mondico: la negacin, que representaremos con el signo -. La negacin afecta directamente a la proposicin a la que antecede. Esto
signica que si niego a p, el signo de la negacin se antepondr a p del siguiente modo: -p, que podr leerse no p. Tambin la negacin puede afectar a las proposiciones complejas consideradas en
conjunto. Por ejemplo, se puede negar a pvq en conjunto anteponiendo la negacin a un parntesis
que encierra a pvq del siguiente modo -(pvq). Hay que sealar que la negacin no es distributiva, es
decir que -(p.q) no es equivalente a -p.-q, por ejemplo.
La negacin afecta los valores de verdad en toda proposicin, ya sea simple o compleja. Puntualmente invierte los valores de verdad.
Por lo tanto si para:
p

para

-p

Funciones de verdad
3

Los enunciados o proposiciones son funciones de verdad. Esto quiere decir que adems de asignarles valores de verdad podemos, en el caso de las proposiciones complejas, operar con esos
valores de tal modo que al interrelacionar los valores de cada proposicin simple (que forma parte
de una proposicin compleja) obtenemos nuevos valores que son los que corresponden a la proposicin compleja en correspondencia con la conectiva que acta como operador. La verdad y la
falsedad se asignan a las variables proposicionales de acuerdo a criterios preestablecidos y se denominan tablas de verdad. No slo las proposiciones simples tienen tablas de verdad. Las proposiciones complejas o moleculares tienen sus tablas correspondientes que dependen de la conectiva
o las conectivas que hay en ellas conectando a las proposiciones simples. Vamos a mostrar las
tablas de verdad de proposiciones moleculares con dos variables y conectadas por las conectivas
que usaremos.
Consideremos, a modo de ejemplo, el caso de la conjuncin. As como la proposicin p es verdadera o falsa, tambin p.q considerada en conjunto es verdadera o falsa. Las otras conectivas generan tambin proposiciones complejas que son verdaderas en unos casos y falsas en otros. Veamos
cada una de ellas.
1) La conjuncin es verdadera cuando las proposiciones que la componen son ambas verdaderas, y falsas en los dems casos. Su tabla de verdad es la siguiente:
p. q
vvv
vf f
f f v
f f f
2) La disyuncin inclusiva es verdadera en todos los casos salvo cuando las proposiciones simples que la componen son ambas falsas. Esto es:
pvq
vvv
vv f
f v v
f f f
3) El condicional es verdadero en todos los casos salvo cuando el antecedente es verdadero y el
consecuente falso. Esto es:
pcq
vvv
vf f
fvv
fvf
4) El bicondicional es verdadero cuando los valores de verdad de cada proposicin son equivalentes. Este es un caso:
p=q
vvv
vf f
f fv
f vf

5) La disyuncin exclusiva es verdadera cuando los valores de las proposiciones conectadas son
diferentes. Por ejemplo:
p wq
v f v
vv f
f v v
f f f
Utilizando una, dos o ms conectivas y una, dos o ms variables proposicionales podemos construir proposiciones moleculares de diferente grado de complejidad. Por ejemplo, una en la que se
usen p, q, r y las conectivas c (condicional), v (disyuncin inclusiva) como la siguiente: (p c q) v
r que puede leerse si p entonces q o r. En este caso se han usado parntesis para agrupar las
variables de acuerdo a un criterio arbitrario, lo que signica que se podran haber agrupado de otro
modo. Por ejemplo: p c ( q v r). Los parntesis, los corchetes y las llaves son signos de puntuacin,
o sea que la nica funcin que cumplen es la de separar y agrupar variables proposicionales tanto
simples como complejas. El uso de dichos signos no slo modica la lectura que hacemos de las
proposiciones sino tambin sus tablas de verdad. En los ejemplos anteriores no slo las lecturas de
las frmulas son diferentes sino tambin la distribucin nal de sus valores de verdad.

Definiciones recursivas
Una secuencia no ordenada de variables y conectivas no constituye una frmula. Para hacer una
frmula de la lgica proposicional es necesario denir el modo de construirlas. Se denominan deniciones recursivas aquellas deniciones que nos indican cuando estamos ante una frmula lgica
bien formada y no slo ante una secuencia de smbolos lgicos. En las deniciones recursivas se
enuncian un serie de reglas que nos dicen cmo y cuales son las frmulas bien formadas. Veamos
una denicin recursiva en la cual se indican como son las frmulas de las proposiciones atmicas,
de la negacin y de las proposiciones moleculares donde la conectiva utilizada es la conjuncin.
Regla 1: p, q, r, etc. son frmulas atmicas bien formadas.
Regla 2: -p es una frmula bien formada.
Regla 3: p . q es una frmula molecular bien formada
Regla 4: Slo son frmulas bien formadas las denidas en las tres reglas anteriores y las de ellas
derivadas.

Definiciones por equivalencia

Adems de las deniciones por recursividad hay deniciones por equivalencias, es decir que se
pueden denir todas las conectivas a partir de una de ellas. Dado que hemos denido la conjuncin
podemos partir de ella para denir las otras conectivas estableciendo las equivalencias correspondientes.
La disyuncin inclusiva: (p v q) = -( -p . -q)
El condicional: (p c q) = -( p . -q)
El bicondicional: (p = q) = [(pcq) . (qcp)]= -( -(p.-q) . -(q.-p))
La disyuncin exclusiva: (p w q) = -(p.-q) . -(q.-p)
Las deniciones recursivas y por equivalencia nos permiten integrar todas las conectivas a un
sistema lgico. Estos sistemas cuentan con un vocabulario mnimo, axiomas, reglas de formacin y
de sustitucin. Las primeras nos indican como ordenar las variables y las conectivas y las segundas
como se debe sustituir en una frmula cualquiera una variable por otra variable o por otra frmula.

Por ejemplo, se puede sustituir en la frmula (pwq).p la variable p por la frmula molecular pcq ,
poniendo pcq all donde aparece p. La frmula resultante sera:
{[(pcq) w q)] . (pcq)}

Leyes lgicas
Las leyes o principios lgicos son proposiciones verdaderas en virtud de su forma. No son los
contenidos de dichas proposiciones los que determina su verdad sino la ordenacin de sus variables
y conectivas de acuerdo a ciertas formas jas. Estas proposiciones que son verdaderas siempre
se denominan tautologas. Las proposiciones que hemos visto hasta ahora eran o verdaderas o
falsas y como su verdad y falsedad depende en cierta medida de los hechos que describen se las
llama contingencias. As p.q o -pvq son contingencias. En cambio una frmula como p=p es una
tautologa, puesto que es verdadera en todos los casos y su verdad depende de su forma y no de
los hechos. Si hacemos su tabla de verdad tendremos:
p=p
vvv
fv f
p=p es una equivalencia y se lee p equivale p o tambin p es idntica a p. Es una ley lgica y una
de las expresiones del principio de identidad. Adems de este principio hay otros. Los ms conocidos son el de no contradiccin y el del tercero excluido, que los hemos visto en otros captulos.
Enumeraremos a continuacin algunas leyes lgicas de uso frecuente.
Principio de identidad: p = p
Principio de no contradiccin: -(p.-p)
Principio del tercero excluido: (p v-p)
Doble negacin: p = --p
Idempotencia de la conjuncin: p = (p .p)
Idempotencia de la disyuncin: p=(pvp)
Ley de De Morgan para la conjuncin: p.q = -(-pv-q)
Ley de De Morgan para la disyuncin: pvq = -(-p.-q)
Modus ponendo ponens: ((pcq).p)cq
Modus tollendo tollens: [(pcq).-q]c-p
Las leyes lgicas son tautologas y se las denomina verdades formales. Hemos dicho que son
verdaderas en todos los casos. Cuando nos encontramos con proposiciones que son falsas en
cualquier caso con independencia de todo contenido, estamos frente a una contradiccin. Esta es
lo opuesto a la tautologa, a tal punto que la negacin de cualquier tautologa da por resultado una
contradiccin. Si niego, verbigracia, el principio de identidad incurro en una contradiccin:
-( p = p)
f v
f v
Tanto las tautologas como las contradicciones son verdaderas o falsas respectivamente en cualquier caso de sustitucin. Esto quiere decir que, independientemente de las variables que se usen,
las frmulas tautolgicas o contradictorias siempre sern verdaderas las primeras y falsas las segundas. Por eso si en vez de usar p y q para expresar el Modus ponendo ponens usamos pwq por
p y r por q tendremos:

[(pwq)c r . (pwq)] c r
que es una tautologa. Esto es extensible a cualquier caso y vale, aunque en sentido inverso, para
las contradicciones.

Interpretacin
Las frmulas lgicas pueden ser interpretadas, es decir, sustituir sus variables y conectivas por
enunciados y trminos de nuestra lengua. La siguiente frmula pc-q puede interpretarse del siguiente modo:
p: Hctor est de vacaciones
-q : Hctor no estudia
Por lo cual p c-q queda: Si Hctor est de vacaciones entonces no estudia
La frmula p.q .-r se puede interpretar: Carlos estudia y Marta trabaja y Hctor no est ocupado.

Abstraccin
De los enunciados expresados en nuestra lengua, u otras, pueden abstraerse sus formas lgicas.
Estas se expresan por medio de las frmulas de la lgica proposicional. Como procedimiento es
inverso al de interpretacin y consiste en sustituir cada enunciado del lenguaje emprico por una
frmula atmica o compleja del lenguaje formal. Por ejemplo, el enunciado la pared es blanca y la
puerta est cerrada se puede expresar en el lenguaje abstracto de la lgica por la frmula:
p.q
El enunciado O bien vamos al cine o bien estudiados tiene la frmula: pwq

Validacin de argumentos
Los argumentos pueden ser validados de diferentes maneras. Cuando vimos lgica silogstica
desarrollamos algunos mtodos de validacin que servan para comprobar si los razonamientos
eran o no vlidos. En la lgica proposicional o de enunciados tambin existen procedimientos que
permiten distinguir a los argumentos vlidos de los que no lo son. Uno de esos procedimientos es
el de la analoga lgica. Consiste en comparar cualquier argumento con una forma paradigmtica
que si tiene la forma de una proposicin al hacer su tabla de verdad da una tautologa. Estas formas
paradigmticas se llaman reglas lgicas que no son otra cosa que las leyes lgicas usadas como
esquemas con los que se compara los argumentos. Si estos coinciden en su forma con las de la
regla se dice que el argumento es vlido, de no ser as estar probada su invalidez.
A partir de las leyes lgicas que conocemos podemos derivar algunas reglas. Estas se expresan
por medio de variables metalgicas que pueden ser sustituidas por frmulas lgicas de cualquier
grado de complejidad. Las variables metalgicas se representan por letras maysculas del alfabeto
a partir de A.
Un ejemplo de regla lgica es la que se deriva de la ley llamada modus ponendo pones. La frmula de esta ley es la siguiente:
[(pcq) . p] c q
En esta frmula armando el antecedente p se concluye vlidamente el consecuente q. La regla

correspondiente es:
A

A______
B
Como se ve, en la regla las conectivas desaparecen y en su lugar se encolumnan las formas metalgicas derivadas de las lgicas sustituyendo la conjuncin por el alineacin vertical poniendo a
una forma debajo de la otra y al condicional por una lnea que separa las premisas de la conclusin.
En este caso nos encontramos con una regla que es el esquema de un razonamiento que tiene la
forma del modus ponens. A c B y A son las premisas y B es la conclusin. Si queremos saber
si un razonamiento es vlido o no se tiene que comparar su forma con la de la regla. Veamos un
ejemplo:
Premisa 1
Premisa 2
Conclusin

Si estudio entonces aprobar el examen

Estudio
Por lo tanto aprobar el examen

Si abstraemos la forma lgica de este argumento obtenemos:

[(pcq).p]cq
que es el modus ponens en el que p simboliza estudio y q aprobar el examen y que se corresponde con la regla del mismo nombre. El argumento es vlido. Si en vez del argumento anterior
hubisemos aplicado el mtodo para validar este:
Premisa 1
Premisa 2
Conclusin

Si hay fuego entonces hay oxgeno

Hay oxgeno
Por lo tanto hay fuego

Comprobaramos que el razonamiento no es vlido porque su frmula lgica es: [(pcq).q]cp

Que no es una ley lgica y que, en consecuencia, no se corresponde con la regla del modus
ponens en la que en la segunda premisa se arma el antecedente para as obtener vlidamente el
consecuente como conclusin.
Vamos a considerar otra regla, en este caso derivada del modus tollendo tolens, en la que negando el consecuente se niega vlidamente el antecedente. El modus tollens tiene la siguiente forma:
[(pcq).-q] c -p
la regla lgica correspondiente es:
AcB
-B
-A
El razonamiento que se validar es el siguiente:
Premisa 1
Premisa 2
Conclusin

Si ahorramos entonces tendremos fondos disponibles

No tenemos fondos disponibles
Entonces no ahorramos

El razonamiento es vlido porque se corresponde perfectamente con la regla. Pues ahorramos

se simboliza por A y fondos disponibles por B.
Este mtodo de validacin es aplicable a todos aquellos argumentos cuyas frmulas lgicas pueden ser abstradas. Si dichas formas son leyes de las que se derivan reglas vlidas de argumentacin y los argumentos tienen la misma forma entonces ser vlido en cualquier caso.
Se puede comprobar la validez de argumentos no interpretados de distinto grado de complejidad.
Por ejemplo el siguiente:
{[(-pwq)c -(-r.t)] . (-r.t)} c -(-pwq)
En el que (-pwq) es A y -(-r.t) es B y que tendra la siguiente estructura metalgica:
A c -B
B_____
-A
Que es vlida ya que se trata del modus tollens en el que la negacin del consecuente nos permite
obtener vlidamente la negacin del antecedente. No olvidemos que doble negacin equivale a una
armacin y que negar -B es armar B, como sucede en la segunda premisa del ejemplo.

Lgica de predicados
Funciones proposicionales
Funciones proposicionales son expresiones del lenguaje que no son ni verdaderas ni falsas. Estas
expresiones tienen una forma genrica como: x es ingeniero o x estudia, etc. Suelen simbolizarse Fx, Gx, etc. Las letras maysculas, denominadas constantes predicamentales, simbolizan
propiedades o predicados que se le atribuye a variables, simbolizadas por x, y, etc., que hacen las
veces de sujeto de esos predicados. Estos sujetos son indeterminados, es decir que no son los sujetos propiamente dichos sino que pueden ser sustituidos por nombres que efectivamente cumplirn
con dicha funcin.
En el siguiente ejemplo: x es alumno, la variable x puede ser sustituida por el nombre propio
Carlos y la funcin, que de por s no es verdadera ni falsa y por ende no es una proposicin, se
convierte en proposicin. Pues si bien x es alumno es una expresin indeterminada con respecto
a su verdad o falsedad, el enunciado Carlos es alumno puede ser verdadero o falso. Tambin se
puede transformar la funcin en proposicin cuanticando el predicado, como en el siguiente caso:
alguien es alumno o todos son alumnos, etc. Esto nos permite denir a una funcin proposicional
como una expresin del lenguaje que no es ni verdadera ni falsa hasta tanto no se sustituya la variable por un nombre o se la cuantique.

Cuantificacin nica
Proposiciones predicamentales simples
Las funciones como x es contador o x es diseador al ser cuanticadas dan origen a proposiciones simples. Esto quiere decir que no hay conectivas que las relacionen con otras semejantes.
Exactamente lo mismo sucede cuando en vez de cuanticar la variable la sustituimos por un nombre.
Cuando las funciones proposicionales son transformadas en proposiciones sustituyendo la varia-

ble por un nombre suelen simbolizarse del siguiente modo: Pa, Ka, etc. Si consideramos la funcin:
x es director, a la que transformamos en proposicin poniendo un nombre propio en vez de la variable, podemos representarla Da, frmula en la que D representa el predicado y a un nombre
cualquiera. La mayscula es una constante de predicado y la minscula un constante individual.
Estas proposiciones son singulares. En ellas se considera a un sujeto individual caracterizado por
una propiedad. El enunciado Scrates es sabio es de ese tipo. El sujeto es un individuo, no varios
o algunos o todos. La propiedad ser sabio se predica de Scrates. Tambin se la puede negar, si
se asevera Alcibades no es sabio.
Las funciones proposicionales pueden ser convertidas en proposiciones cuanticando las variables. x es profesor se puede transformar en algunos son profesores, poniendo en vez de la variable el cuanticador algunos. Podra transformarse poniendo todos en vez de algunos y obtener
el enunciado todos son profesores.
Fx, Gx, Hx, etc. son las frmulas que simbolizan las funciones proposicionales simples y deben
leerse F de x, G de x, etc. Al cuanticarlas las transformamos en proposiciones particulares armativas o negativas o en proposiciones universales armativas o negativas. Los cuanticadores particulares como algunos o alguien se simbolizan (Ex) que se lee existe al menos uno, y los cuanticadores universales como todo o todos se representan (x) que lee para todos. El enunciado
alguien estudia se simboliza: (Ex) Fx y se puede leer existe un x, tal que x estudia. El enunciado
todos son deportistas se simboliza: (x) Fx que se puede leer para todo x , x es deportista.
Si consideramos a las proposiciones predicamentales simples de acuerdo a su cantidad y cualidad podemos ordenarlas en cuatro grupos.
A) Universales armativas: (x) Fx (se lee: para todo x, x es F)
E) Universales negativas: (x)-Fx (se lee: para todo x, x no es F)
I) Particulares armativas: (Ex) Fx (se lee: existe un x que es F)
O) Particulares negativas: (Ex) Fx (se lee: existe un x que no es F)

Proposiciones predicamentales complejas

Los enunciados de la lgica clsica, cuya forma es la de las oraciones enunciativas con sujeto
y predicado, fueron estudiados como unidades indivisibles. Desde esa perspectiva un enunciado
como todos los hombres son mortales tiene un sujeto que es el trmino hombres y un predicado
que, adems del nexo que es una forma conjugada del verbo ser, contiene el trmino mortales.
Estos trminos designan propiedades que, a su vez, determinan conjuntos. En el caso del ejemplo
el conjunto de los objetos cuya propiedad es ser hombre y el de los objetos cuya propiedad es ser
mortal. Estos conjuntos se encuentran relacionados entre si. La relacin es la de inclusin, de modo
que hombre est incluido en mortal. La relacin de inclusin se expresa simblicamente como
A C B, que se lee A est incluido en B. Esta relacin en la lgica de enunciados se expresa por la
frmula p c q. Esto nos permite establecer un paralelo entre la teora de conjuntos y la lgica proposicional. O sea que la relacin de inclusin entre conjuntos es equiparable con el condicional que
relaciona enunciados. Tratndose de enunciados como todos los hombres son mortales se podra
considerar que son en realidad enunciados complejos compuestos por enunciados simples, cada
uno de los cuales tiene por predicado la propiedad enunciada en el sujeto del enunciado complejo y
en el predicado del mismo enunciado. El verbo que ocia de nexo es sustituido por el condicional.
Consideremos el enunciado todos los rboles son vegetales. Puede descomponerse en dos enunciados simples. El primero: todos son rboles y el segundo: todos son vegetales. Como la relacin
entre el conjunto de objetos cuya propiedad es ser rbol y el conjunto de los objetos cuya pro-

10

piedad es ser vegetal es la de inclusin, equiparable al condicional, podramos conectar ambos

enunciados simples de modo que den por resultado el enunciado complejo si todos son rboles
entonces todos son vegetales. Este enunciado podra simbolizarse (x) Fx c (x) Gx, frmula en la que
la constante predicamental F representa al trmino rboles y la constante G al trmino vegetales.
Las (x) son los cuanticadores y el condicional es c. Puede leerse para todo x, x es rbol entonces
para todo x, x es vegetal. Pero tanto la frmula como la lectura de la misma se puede simplicar. En
el caso de la frmula usando un solo cuanticador, de esta manera: (x) (Fx c Gx). En el caso de la
lectura diciendo: para todo x, si x es rbol entonces x es vegetal. Adems de los enunciados como
el que estamos analizando, que es universal y armativo, estn lo universales negativos. Un ejemplo
de estos es el siguiente: Ningn animal es vegetal. Este tipo de enunciado se simboliza (x) ( Fx c Gx) en el cual se niega que el trmino vegetal sea una propiedad atribuible a los mismos individuos
a los cuales se atribuye animal. Esta es la razn por la cual se niega el segundo trmino del enunciado y no todo l. Adems de los enunciados universales deben considerarse los particulares, tanto
armativos como negativos. El enunciado algunos economistas son polticos puede descomponerse
en los enunciados simples alguien o algunos son economistas y alguien o algunos son polticos. Lo
que no es estrictamente correcto puesto que ambas propiedades se atribuyen a individuos que son
a la vez economistas y polticos, pues la proposicin compleja algunos economistas son polticos
asevera justamente eso. Es por eso que la frmula ms adecuada para simbolizar enunciados como
el del ejemplo es: (Ex) ( Fx . Gx), que puede leerse existe un x, tal que x es F y es G, es decir, existe
un x que es economista y es poltico. La conectiva es la conjuncin (y) porque el enunciado describe
una situacin en la que los mismos individuos tienen dos propiedades.
Los enunciados particulares negativos se representan por frmulas anlogas a esta: (Ex) ( Fx .
-Gx), que suele leerse existe un x, tal que x es F y no es G. Por ejemplo: algunos comerciantes no
son honestos se representa con la frmula antes citada y se lee existe al menos un x, tal que x es
comerciante y no es honesto.
Si ordenamos a los enunciados o proposiciones predicamentales complejas teniendo en cuenta
su cantidad y cualidad obtendramos los siguientes cuatro tipos:
A) Universales armativos: (x) (Fx c Gx)
E) Universales negativos: (x) (Fx c -Gx)
I) Particulares armativos: (Ex) (Fx . Gx)
O) Particulares negativos: (Ex) (Fx . -Gx)

Proposiciones negadas
Proposiciones negadas son aquellas que, ya sean armativas o negativas, son negadas en su
totalidad. Al negar la proposicin niego la cualidad de la misma, es decir que si niego a una proposicin armativa la hago negativa y si niego a una negativa la hago armativa. La negacin de p es
-p y la negacin de -p es --p que es lo mismo que p. Es la ley de la doble negacin. En la lgica de
enunciados lo nico que se modica al negar las proposiciones es su cualidad pero no su cantidad.
De hecho en la lgica de enunciados no se tiene en cuenta la cantidad de las proposiciones. En la lgica de predicados tanto la cantidad como la cualidad son expresadas por las frmulas pertinentes.
Por lo tanto la negacin de una proposicin cualquiera afecta tanto a su cantidad como a su cualidad. Esto permite establecer equivalencias entre las proposiciones de distinta cualidad y cantidad.
Hace posible transformar una proposicin particular en una equivalente universal o viceversa.

Equivalencia de cuantificadores
Las proposiciones clasicadas segn la cantidad y la cualidad tienen sus siguientes equivalentes

11

al ser negadas:
La universales armativas A, equivalen a la negacin de las particulares negativas -O
La universales negativas E, equivalen a la negacin de las particulares armativas -I
La particulares armativas I, equivalen a la negacin de las universales negativas -E
Las particulares negativas O, equivalen a la negacin de las universales armativas -A
Si expresamos a las proposiciones mencionadas por sus frmulas respectivas obtenemos las
siguientes equivalencias:

Proposiciones predicamentales simples

(x) Fx = - (Ex) -Fx
(x) -Fx = -(Ex) Fx
(Ex) Fx = -(x) -Fx
(Ex) -Fx = -(x) Fx

Proposiciones predicamentales complejas

(x) (Fx c Gx) = -(Ex) (Fx .-Gx)
(x) (Fx c -Gx) = -(Ex) ( Fx . Gx)
(Ex) (Fx . Gx) = -(x) (Fx c -Gx)
(Ex) (Fx . -Gx) = -(x) (Fx c Gx)

Cuantificacin mltiple
Proposiciones relacionales simples
Hay enunciados en los que una o ms propiedades se atribuyen simultneamente a por lo menos
dos sujetos. La proposicin Carlos es amigo de Marta tiene dos sujetos que estn expresados por
los nombres propios Carlos y Marta a los que se relaciona por el trmino ser amigo de, que es el
predicado. Esta proposicin, y todas las semejantes, se puede simbolizar Aab, expresin en la que
A es una constante predicamental mientras que a y b son constantes de individuo.
Existen enunciados semejantes al anterior pero en los cuales los sujetos no son necesariamente
individuos con nombre propio. Por ejemplo: Alguien es amigo de Julia tiene por sujeto a Julia y a dos
o ms individuos representados por el cuanticador alguien, que equivale a alguno o algunos. En
este caso, y en otros similares, el enunciado est compuesto por el predicado, un sujeto con nombre
propio y un sujeto cuanticado. Su forma simblica puede ser: (Ex) Fxb, que se lee existe un x, tal
que x ama a b.
Una expresin como x es amigo de y es una funcin proposicional que se representa Fxy. Sabemos que para transformarla en proposicin es necesario cuanticar las variables. Una posible forma
de hacerlo es la siguiente: (x) (y) Fxy que se lee: para todo x y para todo y, x es amigo de y, que
puede transcribirse como Todos son amigos de todos. Este enunciado no es el nico que se puede
obtener a partir de la funcin mencionada. Si cuanticamos a las variables del siguiente modo (Ex)
(Ey) Fxy obtenemos un enunciado que se lee: existe un x y existe un y, tal que x es amigo de y, que
puede transcribirse alguien es amigo de alguien o algunos son amigos de algunos. Podemos continuar con el mismo procedimiento de cuanticacin de la funcin y obtener distintas proposiciones
segn como cuantiquemos las variables. De hecho podemos obtener cuatro proposiciones simples
armativas y cuatro negativas. Estas son, y pueden interpretarse como:

12

1)
2)
3)
4)
5)
6)
7)
8)

(x)(y) Fxy
(Ex)(Ey) Fxy
(x)(Ey) Fxy
(Ex)(y) Fxy
(x)(y) -Fxy
(Ex)(Ey) -Fxy
(x)(Ey) -Fxy
(Ex)(y) -Fxy

para todo x y para todo y, x es amigo de y

existe un x, existe un y, tal que x es amigo de y
para todo x, existe un y, tal que x es amigo de y
existe un x que para todo y, x es amigo de y
para todo x y para todo y, x no es amigo de y
existe un x, existe un y, tal que x no es amigo de y
para todo x, existe un y , tal que x no es amigo de y
existe un x que para todo y, x no es amigo de y

Proposiciones relacionales complejas

Una proposicin como todos los hermanos son amigos tiene la siguiente forma lgica (x)(y) (Fxy
c Gxy) y es, dado que el condicional conecta el sujeto con el predicado, una proposicin compleja.
Puede interpretarse para todo x, para todo y, si x es hermano de y, entonces x es amigo de y. Hay
muchas proposiciones relacionales complejas cuya forma est determinada por su cantidad, o sea
el modo de cuanticar sus variables, y por su cualidad. Al solo efecto de enumerar algunas de dichas
formas presentamos la siguiente lista:
(x)(y) (Fxy c Gxy)
puede interpretarse: todos los hermanos son amigos
(Ex)(Ey) (Fxy . Gxy) puede interpretarse: algunos hermanos son amigos
(x)(y) (Fxy c -Gxy) puede interpretarse: los hermanos no son amigos
(Ex)(Ey) (Fxy . -Gxy) puede interpretarse: algunos hermanos no son amigos
En los cuatro ejemplos la cuanticacin de las variables respectivas es homognea, esto es, se
las cuantica con el mismo grado de generalidad. Existe la posibilidad de hacer una cuanticacin
heterognea, es decir, cuanticar las variables con distinto grado de generalidad, como lo hemos hecho en el caso de las proposiciones relacionales simples. Por tratarse de una explicacin meramente
introductoria no utilizaremos la cuanticacin mltiple heterognea para proposiciones relacionales
complejas. Tampoco analizaremos proposiciones en los que el trmino predicado pude predicarse de tres o ms sujetos simultneamente. No obstante, debemos sealar que en la denominada
lgica de relaciones la utilizacin de todos los procedimientos de cuanticacin de variables son
necesarios.

13