You are on page 1of 14

Lectura I

La Argumentacin Lgica

LECTURA I
La Argumentacin Lgica
Razonamientos Inductivos
El razonamiento inductivo es un proceso derivado de las inferencias que se hacen cuando se comprueba que a ciertos hechos observables le siguen regularmente otros. Es frecuente que cuando se
percibe un relmpago se espere el trueno subsiguiente. En la vida cotidiana sucede con frecuencia
que anticipemos un hecho a partir de otro que le antecede. Cuando pensamos que solamente si
estudiamos aprobaremos el examen, o cuando aseveramos que si salimos de vacaciones podremos descansar estamos haciendo INFERENCIAS INDUCTIVAS. Estas inferencias son la base de
los razonamientos porque ellas nos permiten establecer un nexo entre conocimientos adquiridos y
conocimientos por adquirir.
La induccin en su forma ms elemental nos sirve para actuar y resolver problemas que nos plantea la vida cotidiana. Al decidir levantarnos a cierta hora para llegar a tiempo al trabajo hacemos una
induccin: si nos levantamos temprano entonces llegaremos a horario a nuestro trabajo. La aseveracin nos levantamos temprano es la premisa de dicha induccin y llegaremos a horario a nuestro
trabajo es su conclusin. El trmino entonces es el nexo entre ambas. En este tipo de induccin
elemental la premisa recibe el nombre de antecedentey la conclusin se denomina consecuente.
Esta induccin elemental es un condicional lgico, es decir que se considera al antecedente como
una condicin para que se d el consecuente. Pero se debe tener en cuenta que no siempre que se
d el antecedente se tiene que dar tambin el consecuente. Puede suceder que salgamos de vacaciones y no descansemos o que estudiemos y no aprobemos el examen. Esto de alguna manera
nos est indicando que el razonamiento inductivo es probable en lo que hace a la derivacin de la
conclusin a partir de sus premisas.
Para la ciencia el razonamiento inductivo es un instrumento insustituible. Gracias a l se pueden
hacer generalizaciones a partir de la observacin de los hechos. Esto es posible porque con la induccin adems de anticipar hechos a partir de otros se pueden observar secuencias de hechos que
permiten obtener una conclusin general en relacin con lo observado. Si se comprueba usando un
termmetro que toda vez que se hace hervir el agua estando al nivel del mar esta hierve a los cien
grados centgrados se puede concluir que siempre que se la haga hervir en las mismas condiciones
alcanzar el hervor a esa temperatura. Cuando se dice que los metales se dilatan con el calor es
porque se ha observado que cada vez que un metal se somete a la accin del calor se dilata. La
induccin que permite dicha generalizacin, si se pudiesen observar todos los casos , tendra esta
forma:
El hierro al ser sometido a la accin del calor se dilata
El bronce al ser sometido a la accin del calor se dilata
El plomo al ser sometido a la accin del calor se dilata
Y as sucesivamente hasta la conclusin:
Los metales al someterse a la accin del calor se dilatan
La conclusin de este argumento solo sera absolutamente verdadera si se pudiesen observar
todos los casos. Como eso no es posible dicha conclusin solo es probablemente verdadera y la
induccin es incompleta ( podra darse un caso en el que se someta un metal a la accin del calor y
este no se dilate). Una induccin completa exigira la observacin de todos los casos.

Razonamientos deductivos
En el razonamiento inductivo podemos hacer generalizaciones a partir de la observacin de hechos. La conclusin que se obtiene es probablemente verdadera dado que no se pueden observar
todos los hechos. Adems dicha conclusin no se deriva necesariamente de las premisas que se
toman como antecedentes. Por ms que se observen casos en los que la indigencia o la falta de
recursos econmicos es causa del analfabetismo no siempre las personas indigentes sern analfabetas. Hay una relacin entre un hecho y el otro pero dicha relacin no es necesaria, por lo tanto
inferir que siempre que se carece de recursos econmicos o se es indigente se es analfabeto no
es correcto. El tipo de razonamiento que es la induccin no nos permite obtener conclusiones que
se deriven necesariamente a partir de sus premisas. Pero existen formas de razonar en las que la
conclusin se desprende necesariamente de las premisas de las que se parte. Un ejemplo puede
servir para mostrarlo:
Si todo abogado es un egresado universitario
y todo escribano es abogado
Entonces todo escribano es egresado universitario
Este tipo de razonamiento es deductivo. Su diferencia con el inductivo reside en que la conclusin
surge necesariamente de las premisas. En el ejemplo se ve con claridad que no se podra ser escribano sin ser egresado universitario. Hay otra caracterstica sealada por Aristteles: es un razonamiento en el que se va de lo general a lo particular. Veriqumoslo con otro ejemplo:
Todos los mamferos son animales
Todos los gatos son mamferos
Luego: todos los gatos son animales
Esto se explica mostrando que al ser el conjunto de los animales ms grande o extenso que el
de los mamferos y el de estos mayor que el de los gatos , al estar los mamferos incluidos entre los
animales y los gatos entre los mamferos es lgico que los gatos estn incluidos entre los animales.
Otro modo de probarlo es que si los gatos son mamferos y los mamferos son animales los gatos
tambin deben serlo.

Validez de los razonamientos


Tanto los razonamientos inductivos como los deductivos deben ser construidos y formulados de
modo correcto. En los razonamientos deductivos la forma o el modo en que se expresan constituyen
su validez. Si esas formas no se respetan el razonamiento no es vlido. Los conceptos de validez
o no validez se aplican solamente a los razonamientos completos, no a sus premisas o a su conclusin. Las premisas y la conclusin podrn ser verdaderas o falsas, pero nunca vlidas o
no vlidas. En los sucesivos captulos de este apunte se ampliarn los signicados de los trminos
mencionados. Al solo efecto de mostrar la diferencia entre un razonamiento vlido y uno no vlido
observemos los siguientes ejemplos:
Todos los hombres son mortales
Todos los americanos son hombres
Luego: todos los americanos son mortales
El anterior es un razonamiento vlido dado que est correctamente formulado, puesto que si los
hombres estn incluidos entre los mortales y los americanos entre los hombres se deduce que los
americanos tambin estn incluidos entre los mortales. El siguiente, en cambio, no lo es:

Todos los hombres son mortales


Todos los mamferos son vertebrados
Luego: todos los mamferos son hombres
La conclusin de este razonamiento no se desprende de las premisas porque no tiene la forma
adecuada. Si bien es cierto que los hombres son mortales y los mamferos son vertebrados no se
desprende de ello que todos los mamferos sean hombres.

Enunciados categricos
Las premisas y conclusiones de los razonamientos son enunciados. Hay muchos tipos de enunciados. Analizaremos los enunciados categricos que tienen la forma de las oraciones con sujeto
y predicado y cuya propiedad distintiva es que son o bien verdaderas o bien falsas. La siguiente
oracin: Los contadores son profesionales es un enunciado verdadero. La siguiente: Los hombres
son inmortales es un enunciado falso.
La verdad y la falsedad de los enunciados que se refieren a hechos depende de la correspondencia entre lo que enuncian y lo que sucede. Un enunciado, por lo tanto, es verdadero
cuando brinda una informacin correcta con relacin a los hechos que describe y falso cuando esa
informacin no es adecuada a dichos hechos. Es verdadero el enunciado que arma que algunos
autos son negros porque concuerda con los hechos. Pero es falso el que asevera que todos los
autos son negros dado que no coincide con los hechos.

Enunciados Fcticos o Sintticos


Los enunciados que describen hechos se denominan fcticos y la verdad o falsedad de los mismos es una verdad fctica o una falsedad fctica. Esta es la razn por la que muchos enunciados
son verdaderos en algunos casos y en otros no. A veces coinciden con los hechos y a veces no. El
enunciado hoy es un da caluroso es verdadero en algunos casos pero no en otros. Lo mismo sucede con el enunciado la puerta es marrn ya que depender de la puerta que se est describiendo.
La puerta del aula en la que estudiamos puede que sea marrn , pero no tiene porque serlo la puerta
del bao.
Los enunciados fcticos son contingentes con respecto a la verdad y a la falsedad. Esto quiere
decir que tanto pueden ser verdaderos como falsos, ello depende de las circunstancias que son
siempre contingentes, puesto que pueden ser de uno u otro modo. Es una contingencia que el da
est nublado dado que el sol puede salir en cualquier momento, lo que tambin es una contingencia.
Es entendible entonces que a los enunciados que describen ese tipo de hechos se los considere
contingentes con respecto a la verdad y a la falsedad.
Los enunciados fcticos son enunciados sintticos. Esto quiere decir que el sujeto y el predicado al relacionarse el uno con el otro en el enunciado constituyen una sntesis o unin entre
propiedades diferentes: una nombrada por la palabra que est como sujeto y otra por la que est
como predicado. Algunas personas son abogados es un enunciado sinttico porque al unir las propiedades que nombran las palabras que hacen de sujeto y predicado producen una sntesis entre
ambas que da por resultado una nueva propiedad que es la de ser al mismo tiempo persona y

abogado.

El trmino sntesis no debe entenderse como sinnimo de resumen sino como combinacin o
unin de dos o ms propiedades distintas para dar origen a una nueva. No es lo mismo decir silla
que decir la silla es amarilla. El enunciado la silla es amarilla describe a una silla amarilla o sea a un

objeto que tiene ambas propiedades como si fueran una sola y nueva propiedad, que es el resultado
de la sntesis entre las otras dos.
En los enunciados sintticos la propiedad que se enuncia en el sujeto no implica ni contiene a
la propiedad que se enuncia en el predicado. En el enunciado: algunos lpices son rojos el sujeto
lpices no contiene al predicado rojos. Esta es otra razn por la que los enunciados sintticos o
fcticos son contingentes con respecto a la verdad y a la falsedad. Si no siempre ni necesariamente los lpices son rojos es lgico concluir que un enunciado que haga referencia a un hecho de
ese tipo a veces ser verdadero y a veces ser falso.
Otra caracterstica importante de los enunciados sintticos es que el predicado aade informacin al sujeto. En el ejemplo anterior el predicado rojo aade informacin al sujeto lpices porque
no todos los lpices son rojos ni el ser de color rojo es una propiedad esencial de los lpices.

Enunciados de Relacin o Analticos


Hay enunciados que no describen hechos sino que enuncian relaciones de identidad entre el sujeto y el predicado. En este tipo de enunciados el predicado no aade informacin al sujeto dado
que ambos dicen lo mismo aunque con palabras diferentes. El siguiente es un ejemplo: todos los
cuadrados son guras geomtricas de cuatro lados iguales y cuatro ngulos rectos. En este enunciado el sujeto cuadrado dice lo mismo que figura geomtrica de cuatro lados iguales y cuatro
ngulos rectos. El predicado lo nico que hace es desarrollar y hacer explcitas las propiedades
implcitas en el trmino cuadrado. Hacer explicitas esas propiedades es el resultado de un anlisis
del contenido del vocablo que hace de sujeto en el mencionado enunciado.
El verbo analizar significa descomponer un todo en sus partes constitutivas. Las partes
que constituyen a un gura geomtrica como el cuadrado son precisamente sus lados, que son
cuatro y son iguales, y su ngulos, que tambin son cuatro y tienen 90 cada uno. Los enunciados
de la geometra semejantes al del ejemplo son tambin analticos. Todos los tringulos tienen tres
lados y tres ngulos es un enunciado analtico porque es condicin del tringulo tener tres lados y
tres ngulos.
La verdad de los enunciados analticos no depende de los hechos y, por lo tanto, no es una verdad
fctica sino una verdad formal, es decir que depende de la relacin de identidad entre el sujeto y el
predicado. El enunciado los abogados son abogados es formalmente verdadero porque el sujeto
y el predicado son idnticos y no se necesita vericarlo contrastndolo con los hechos puesto que
independientemente de lo que signique la palabra abogado solo se ha dicho que es igual a s
misma. Un enunciado como cuatro es igual a dos ms dos es verdadero independientemente de
los hechos por la misma razn que lo es el enunciado anterior. La nica diferencia que hay entre
cuatro es igual a dos ms dos y los abogados son abogados es que en el primero de los enunciados
el predicado es el resultado de descomponer o analizar cuatro y poner su equivalente 2+2, mientras
que en el segundo eso no sucede.
El enunciado los pentgonos son guras geomtricas de cinco lados tambin es analtico y su
verdad no depende de los hechos. Los pentgonos tienen siempre cinco lados, as como los tringulos tienen siempre tres o los hexgonos siempre seis. No puede haber un pentgono con ms o
menos de cinco lados. Esto signica que la verdad de los enunciados analticos adems de no
depender de los hechos tampoco es contingente. Los tringulos no tienen a veces tres lados y
a veces no. Siempre tienen tres lados, si no fuera as no seran tringulos. Por lo tanto el enunciado
todos los tringulos tienen tres lados es necesariamente verdaderos. Los enunciados analticos
son necesariamente verdaderos porque cualquier enunciado que los contradiga ser necesariamen-

te falso. Si es verdad que todos los tringulos tienen tres lados entonces es falso necesariamente el
enunciado que sostenga que algunos tringulos no tienen tres lados.
Las verdades necesarias son verdades formales, en oposicin a las verdades contingentes
que son verdades fcticas.

Trminos de los enunciados


Termino es el nombre que le damos a las palabras que usamos cuando hablamos o escribimos. Trminos son los artculos, los sustantivos, los adjetivos ,etc., que aparecen en las oraciones
y en los enunciados de cualquier discurso. En tal sentido podramos considerar a termino como
un sinnimo de vocablo y de palabra. Pero tanto las palabras como los trminos expresan ideas
o conceptos.
Los conceptos o ideas son representaciones mentales de los objetos y los trminos son
su expresin lingstica. Esto nos permite usar la palabra trmino como si fuese un sinnimo de
concepto o idea.
Los enunciados que tienen la forma gramatical de las oraciones con sujeto y predicado como el
siguiente: los abogados son profesionales, tienen dos tipos de trminos: los que cumplen la funcin de sujeto y predicado y los que sirven para unir al sujeto con el predicado. Adems estn
los artculos y vocablos como algunos, todos, etc., que son adverbios de cantidad, llamados en
lgica cuanticadores.
En los enunciados hay trminos lgicos, que son aquellos que como el verbo ser unen al sujeto
y al predicado. Generalmente son trminos que permanecen estables en la estructura de los
enunciados, lo mismo que los cuanticadores algunos o todos. Esto puede vericarse en innumerables ejemplos: algunos rboles son verdes, algunos gatos son amarillos, algunas puertas son
de madera, etc., en todos los casos el verbo y el cuanticador son los mismos.
En todos los enunciados tambin hay trminos no lgicos. Estos trminos cambian en los distintos
enunciados. Los trminos que hacen las veces de sujeto y predicado son trmino de este tipo. Esto
quiere decir que no constituyen la estructura o forma del enunciado ya que varan de uno a otro.
Distintos enunciados pueden tener la misma estructura y sin embargo decir cosas diferentes porque
sus respectivos sujetos y predicados son distintos. Los enunciados: todos los rboles son vegetales,
todos los gatos son animales, todos los arquitectos son ingenieros no dieren en la forma sino en
los contenidos.
Los trminos lgicos son los que determinan la forma y permanecen constantes, mientras que los
trminos no lgicos son los que constituyen el contenido y pueden variar de un enunciado a otro.
Los enunciados con sujeto y predicado pueden representarse por el esquema S es P, de modo
que si se sustituye S por un trmino y P por otro se obtiene un enunciado con un sujeto y un
predicado especco. S y P representan a trminos no lgicos que varan de un enunciado a
otro y por eso se las puede considerar variables.
El verbo ser que ocia de nexo entre S y P es constante.
Es necesario sealar que no todos los enunciados tienen la forma de las oraciones con sujeto y
predicado. Enunciados como llueve, nieva, etc., que se derivan de verbos impersonales no tienen
sujeto. Adems estn todos los enunciados en los que el sujeto est tcito como es el caso de :
estudio; trabajo; leo; estudiamos; cantan; etc., en los que el sujeto es un pronombre personal que

no se enuncia.
Los trminos lgicos se denominan sincategoremticos y los no lgicos categoremticos. Los
primeros no tienen un signicado independiente fuera del enunciado en el que se los usa. Un artculo nada signica por s mismo. Los segundos s tienen un signicado independiente del enunciado
en que se los usa. Trminos como casa o automvil tienen un signicado propio que es el que
nos permite denirlos. Casa se puede denir como un edicio en el que habitan personas. Automvil puede denirse como un vehculo de transporte.

Extensin y comprensin de los trminos


La extensin de los trminos est determinada por la cantidad de individuos a los que se
aplica el trmino. Hay trminos que pueden aplicarse a ms individuos que otros. El trmino argentino es ms extenso que riojano por que se puede predicar de ms individuos que riojano. A su
vez el trmino americano es ms extenso que argentino y que riojano porque se puede predicar de
ms individuos que ambos.
La comprensin de los trminos est determinada por las notas o propiedades que son
atribuibles al trmino. En el ejemplo anterior riojano es ms comprensivo que argentino y que
americano porque de riojano se pueden predicar las propiedades argentino y americano. A su vez
argentino es ms comprensivo que americano dado que de argentino se puede predicar americano.
De los tres trminos el ms extenso es americano y el menos extenso es riojano. Argentino es
ms extenso que riojano pero menos extenso que americano.
Si se compara a unos trminos con otros se puede comprobar que el menos extenso (riojano) es
el ms comprensivo, mientras que el ms extenso (americano) es el menos comprensivo. Argentino
por su parte es ms comprensivo que americano pero menos que riojano y ms extenso que riojano
pero menos que americano.
De lo anterior se puede concluir que la relacin entre extensin y comprensin es inversamente
proporcional, es decir que a mayor extensin menor comprensin y a mayor comprensin menor
extensin.
La relacin entre extensin y comprensin permite clasicar a los trminos segn ambas propiedades. Esta es un herramienta til para ordenar no slo a los trminos sino tambin a los objetos
que nombramos con ellos. En un supermercado en la gndola donde se exponen los artculos de
limpieza ordenamos dichos artculos de acuerdo a la extensin y la comprensin. Donde dice detergentes se ponen los detergentes de distinto tipo, como lo son los que hacen espuma y los que
no la hacen o los perfumados y los no perfumados. En un quiosco los caramelos, las pastillas y lo
chocolatines se ubican en el lugar correspondiente a las golosinas y no donde se ubican las facturas
que es donde se encuentran las medialunas, las masitas, las galletas, etc. En este caso el trmino
factura es ms extenso que medialuna, masita y galleta. Lo mismo puede decirse del trmino golosina con respecto a caramelo, pastilla y chocolatn. En la clasicacin se tienen en cuenta tambin
la comprensin y el signicado de los trminos. Por eso no se ponen los caramelos donde van las
medialunas y a estas donde van los primeros, ya que los caramelos son golosinas y las medialunas
son facturas.
Desde el punto de vista funcional se puede decir que la comprensin sirve para definir y la
extensin sirve para nombrar.

Cuando denimos un trmino enumeramos sus propiedades, que constituyen su comprensin.


Cuando nombramos algo aplicamos la extensin del trmino, ya que al nombrar indicamos o sealamos a un objeto que cae dentro de su extensin.
La relacin entre la extensin y la comprensin se puede representar por medio de grcos como
el siguiente:

Cantidad y cualidad de los enunciados


Los enunciados tienen distintos grados de generalidad. Hay enunciados universales como

todos los mamferos son animales y enunciados particulares como algunos estudiantes son aplicados. Tambin hay enunciados armativos como algunos abogados son contadores y negativos
como algunos abogados no son contadores.
Los enunciados son particulares o universales en virtud de su cantidad y son armativos o negativos en virtud de su cualidad. Teniendo en cuenta estas propiedades se los puede clasicar de la
siguiente manera:
UNIVERSALES
a. POR LA CANTIDAD SON:
PARTICULARES
AFIRMATIVOS
b. POR LA CUALIDAD SON:
NEGATIVOS
Combinando ambas propiedades se obtienen los siguientes cuatro tipos de enunciados simbolizados por las letras A, E, I, O:
A. UNIVERSALES AFIRMATIVOS: Todo animal es mortal ( Todo S es P)
E. UNIVERSALES NEGATIVOS: Ningn vegetal es mineral ( Ningn S es P)
I.
PARTICULARES AFIRMATIVOS: Algn contador es abogado ( Algn S es P)
O) PARTICULARES NEGATIVOS: Algn auto no es amarillo ( Algn S no es P)
Los enunciados pueden ser representados por medio de grcos llamados diagramas de Venn.
Los grcos correspondientes a los enunciados A, E, I, O son los siguientes:

A) TODO S es P

En el grco se indica que todo individuo que tenga la propiedad S tiene la propiedad P. La parte
sombreada indica que no hay elementos en P que no estn en S.
E) NINGN S es P

En este grco se indica que todo individuo que tenga la propiedad S no tiene la propiedad P. La
parte sombreada indica que no hay elementos comunes a S y P.
I) ALGN S es P

En el grco precedente se indica que algunos individuos tienen la propiedad S y P. La cruz indica
que slo algunos elementos de S pertenecen a P.
O) ALGN S no es P

En este grco se indica que algunos individuos de S no tienen la propiedad P. La cruz indica que
algunos elementos de S no pertenecen a P.

Cuantificacin del predicado


Los sujetos de los enunciados universales y particulares, tanto armativos como negativos, estn
cuanticados explcitamente por los cuanticadores todos, ninguno , algunos, etc., pero los
predicados no estn cuanticados de modo explcito. Sin embargo tanto en los enunciados universales como en los particulares dichos predicados son tomados en la totalidad o en parte de su
extensin.
En los enunciados armativos el predicado se toma en parte de su extensin. Veamos los siguientes ejemplos:
a) El enunciado: todos los contadores son profesionales debera leerse: todos los contadores son
algunos de los profesionales. Esto se debe a que el conjunto de los contadores es menos extenso
que el de los profesionales y que, por lo tanto hay profesionales que no son contadores.
b) El enunciado: algunos estudiantes son ingenieros puede leerse: algunos estudiantes son algunos
ingenieros, porque en los enunciados particulares armativos el predicado siempre se toma en parte
de su extensin al relacionar los conjuntos que nombran el sujeto y el predicado parcialmente. Slo
algunos de los estudiantes y de los ingenieros son a la vez estudiantes e ingenieros.
En los enunciados negativos el predicado se toma en toda su extensin. Consideremos los siguientes ejemplos:
a) El enunciado: ningn animal es vegetal debe leerse: ningn animal es ningn vegetal. Esto se
debe a que el conjunto de los vegetales y el conjunto de los animales no tienen ningn elemento en
comn, ya que son conjuntos disyuntos.
b) El enunciado: algunos diseadores no son publicitarios se puede leer: algunos diseadores no
son ninguno de los publicitarios, dado que el enunciado asevera que algunos de los elementos del
conjunto de los diseadores no es ninguno de los elementos del conjunto de los publicitarios.
Los diagramas de los enunciados A, E, I, O representan grcamente la cuanticacin de sujetos
y predicados.

Conjuntos
Los conjuntos son colecciones de objetos que tienen por lo menos una propiedad en comn. El conjunto de objetos cuya propiedad es ser silla est integrado por todos los individuos que
tienen dicha propiedad.
Los trminos que en los enunciados cumplen la funcin de sujeto y predicado son los nombres de los conjuntos que se caracterizan por la propiedad que dichos trminos mencionan.
En el siguiente enunciado: todos los jueces son abogados el trmino sujeto hace referencia al
conjunto de objetos cuya propiedad es ser juez y el trmino predicado al conjunto de objetos cuya
propiedad es ser abogado.
La negacin de una propiedad es tambin una propiedad. O sea que no ser abogado es una
propiedad que determina un conjunto: el de los que no son abogados, que es el complemento del
conjunto cuyos elementos tienen la propiedad de ser abogados.

10

Los conjuntos son de diversos tipos. Hay cuatro tipos de conjuntos que son importantes para la
lgica:
a. EL CONJUNTO UNIVERSAL, que se dene como el conjunto de todos los objetos que tienen
como propiedad ser idnticos a s mismos.
b. EL CONJUNTO VACIO, que se dene como el conjunto de todos los objetos cuya propiedad es
no ser idnticos a s mimos (por denicin carece de elementos).
c. EL CONJUNTO NO VACO, que se dene como el conjunto que tiene al menos un elemento.
d. EL CONJUNTO UNITARIO, que se dene como el conjunto que tiene solo un elemento.
Tanto el conjunto universal como el conjunto unitario son conjuntos no vacos dado que tienen
elementos. El contenido de estos conjuntos se simboliza con el nmero 1 que indica que tienen elementos. El conjunto vaco que carece de elementos se simboliza usando el 0.
Estos dos nmeros son importantes cuando es necesario operar con conjuntos o establecer relaciones entre ellos. Los conjuntos pueden representarse por letras maysculas del alfabeto. O sea
que el conjunto de los objetos cuya propiedad es ser ingeniero puede simbolizarse por A y el conjunto de los objetos cuya propiedad es ser administrador por B, y as sucesivamente si aparecen otros
conjuntos. Dado que los conjuntos pueden ser vacos o no vacos se puede asignar a los mismos
los valores 1 y 0 del siguiente modo:
A
1
0

Cuando se niega la propiedad que caracteriza a un conjunto se hace referencia a su complemento


y sus valores se invierten, de modo que:
-A es el complemento de A y por lo tanto sus valores deben asignarse:
-A
0
1

Relaciones entre conjuntos


LA INCLUSIN: es una relacin entre conjuntos. Un conjunto est incluido en otro cuando es un
subconjunto del que lo incluye. El conjunto de los vertebrados es un subconjunto del conjunto de
los animales y est incluido en este ltimo.
Se dice que un subconjunto es propio cuando no tiene los mismos elementos que el conjunto que lo incluye. Como todo conjunto se incluye a s mismo se lo dene como subconjunto
impropio, dado que tiene los mismos elementos que el conjunto que lo incluye.
El conjunto vaco por denicin se puede incluir en cualquier conjunto.La relacin de inclusin

11

se puede representar algebraicamente. Si al conjunto de los gestores lo representamos por A y al


conjunto de los profesionales por B y a la relacin estar incluido en por el signo C la inclusin
se expresa por la frmula A C B. En los enunciados universales verdaderos el conjunto de objetos
nombrado por el sujeto est incluido en el conjunto de objetos nombrado por el predicado. Es lo que
sucede en el enunciado todos los gestores son profesionales. El siguiente grco representa dicha
relacin:

LA EQUIVALENCIA es una relacin que se da cuando al menos dos conjuntos tienen los mismos
elementos. Todo conjunto por denicin equivale a s mismo. El enunciado todos los contadores son
contadores expresa una relacin de equivalencia. La frmula que expresa dicha relacin es A A
y se representa por el siguiente grco:

Contadores

Tambin la frmula: A B puede expresar una equivalencia entre conjuntos, en cuyo caso A y B
tendrn los mismos elementos.

Operaciones entre conjuntos


LA SUMA LGICA O UNIN es una operacin entre conjuntos. Esta operacin se puede representar por la frmula A U B, en la que A y B son conjuntos y el signo U representa la unin entre
ambos. En los enunciados en los que se expresa una disyuncin o alternativa entre hechos u objetos hay una unin de conjuntos. Un enunciado como el siguiente es un ejemplo de ello: en el aula
103 hay sillas rojas o negras. Otro ejemplo es el siguiente: todos los asistentes al curso de economa
son contadores o administradores. Lo que se quiere decir en este enunciado es que el conjunto de
los asistentes considerado como totalidad es la suma del conjunto de los contadores con el conjunto
de los administradores. El siguiente grco representa la suma o unin entre conjuntos:

Contadores

Administradores

12

EL PRODUCTO LGICO o interseccin es una operacin entre conjuntos. La frmula que expresa dicha operacin es la siguiente A * B, en ella A y B son conjuntos y el signo * es la representacin del producto. En los enunciados particulares armativos como algunos diseadores son
publicitarios hay una interseccin o producto lgico entre el conjunto representado por el trmino
sujeto y el conjunto representado por el trmino predicado. En el ejemplo dado se quiere decir que
existen individuos que son a la vez diseadores y publicitarios. El grco de esta operacin es el
siguiente:

Diseadores

Publicitarios

Que es similar al de los enunciados particulares armativos.


EL COMPLEMENTO de un conjunto es una operacin lgica que consiste en la negacin de la
propiedad que caracteriza al conjunto. Las negaciones se usan en los enunciados negativos. En los
universales negativos nos encontramos con pares de conjuntos que no tienen ninguna propiedad en
comn. El siguiente ejemplo es uno de dichos casos: ningn tringulo es cuadrado. Este enunciado
niega que los elementos del conjunto de los tringulos est contenido en el conjunto de los cuadrados. Este sera su grco:

Tringulos

Cuadrados

Los enunciados particulares negativos indican que algunos elementos del conjunto nombrado en
el sujeto pertenezcan al conjunto de elementos nombrados en el predicado. El enunciado algunos
relacionistas pblicos no son administradores es un ejemplo de lo dicho. Su grco es el siguiente:

Relacionistas

Administradores

Por lo que se ha expuesto hasta aqu se puede comprobar que los enunciados A, E, I, O son una
expresin lingstica arquetpica de las operaciones y relaciones entre conjuntos.
Los elementos de un conjunto cualquiera pertenecen a dicho conjunto. La relacin de perte-

13

nencia no es, por lo tanto, una relacin entre conjuntos, como lo son la inclusin y la equivalencia,
sino entre elemento y conjunto. Si consideramos a la semana como el conjunto de los das de la
semana, entonces cada da es un elemento de dicho conjunto, por lo tanto el martes o el mircoles,
as como los dems das, pertenecen al conjunto en cuestin. Por su parte la semana, en tanto que
conjunto con siente elementos, est incluida en el conjunto de los objetos cuya propiedad es tener
siete elementos.
El conjunto de los alumnos de primer ao de Relaciones Pblicas es un subconjunto del conjunto
de los alumnos de primer ao, por lo tanto est incluido en este ltimo. Pero los alumnos de primer
ao son tan solo elementos de dicho conjunto, por lo tanto pertenecen a l.

14

You might also like