Lgica Simblica y Teora de Conjuntos

Parte I
Juan Carlos Bressan y Ana E. Ferrazzi de Bressan

Resumen
En este trabajo, la utilizacin de la lgica simblica y de los conjuntos se
hace desde un punto de vista intuitivo, ya que se persigue bsicamente un
fin didctico.
En esta Parte I se introducen simultneamente las proposiciones,
funciones proposicionales y sus conjuntos de verdad. Cada conectiva
definida mediante una tabla de verdad, se relaciona con la operacin entre
conjuntos correspondiente. Las tautologas se utilizan para diferenciar el
condicional de la implicacin lgica, as como el bicondicional de la
equivalencia lgica.
En la Parte II, que aparecer en el prximo nmero, se analizarn las
tautologas y las formas de razonamiento vlidas, se relacionar el
cuantificador universal con la conjuncin y la interseccin de familias de
conjuntos. Anlogamente, se proceder con el cuantificador existencial
relacionndolo con la disyuncin inclusiva y la unin de familias de
conjuntos. Se destacarn la diferencia entre demostraciones por el
contrarrecproco y por el absurdo y la importancia en el orden en que se
escriben los cuantificadores en Matemtica.

1. Introduccin
En los diversos desarrollos de la Matemtica se toman como teoras subyacentes la
teora clsica de conjuntos y una lgica superior de predicados, en la que, adems de
cuantificar elementos podamos tambin cuantificar predicados, relaciones, etc. De esta
forma, la herramienta lgica permite trabajar con conjuntos, conjuntos de partes,
relaciones entre conjuntos, funciones, etc. Esta teora intuitiva de conjuntos y esta
lgica de predicados presentan antinomias bien conocidas desde principios del siglo
XX. Las teoras axiomticas de conjuntos as como las Lgicas formales tienen por
objetivo evitar estas paradojas, sin embargo, desde el punto de vista didctico resultan
en una primera etapa poco exitosas.
En general, el lenguaje simblico presenta algunas diferencias entre los diversos libros
de lgica y los de matemtica. Sin embargo, para la mayora de matemticos que no
efectan desarrollos axiomticos de la teora de conjuntos ni de la lgica, resulta
suficiente utilizar una simbologa lgica que le resulte clara y que no requiera
excesivas convenciones.
Estas herramientas que el alumno universitario debiera haberlas incorporado en la
enseanza media, no llega a relacionarlas y a apreciar en su totalidad. A lo anterior es
necesario sumarle la heterogeneidad de la enseanza media y secundaria. De all que
3
al llegar el alumno a la enseanza terciaria o universitaria sea necesario, para
desarrollar los cursos de Matemtica, hacer un estudio conciso de las nociones bsicas
de la teora de conjuntos y de la lgica para poder utilizarlas fluidamente. Desarrollar
la teora de conjuntos relacionndola con la lgica, no solamente resulta didctico sino
que minimiza el tiempo necesario para su enseanza.
Si bien hacemos un desarrollo en paralelo del simbolismo lgico y la teora de
conjuntos presuponemos que los alumnos ya cuentan con ciertos conocimientos sobre
los conjuntos y sus operaciones desde el nivel bsico.
El enfoque que seguiremos en el desarrollo de la Lgica ser puramente semntico por
cuanto nos interesa como una herramienta a utilizar en Matemtica. El trabajo nos
permitir presentar la introduccin de los temas, y la forma que, de acuerdo a nuestra
prctica docente, resulta ms adecuada para su enseanza.

2. Notaciones de la Lgica Simblica

Las notaciones que se utilizan en Lgica Simblica presentan diferencias segn la
fuente consultada. El simbolismo lgico adoptado es anlogo al de Hamilton, A. G.
(1981), aunque con algunos abusos de notacin a efectos de simplificar las frmulas.
Por ejemplo, en los cuantificadores adems de la variable indicamos el dominio al cual
pertenece la indeterminada; as en la definicin de lmite funcional escribiremos
( > 0)( > 0)(...) . Estas expresiones, como seala Bosch, J (1965), si bien son
incorrectas desde un punto de vista lgico, son matemticamente aceptadas. Pensamos
que uno de los posibles motivos por los cuales no se utiliza en forma sistemtica el
simbolismo lgico en Matemtica es su excesivo formalismo, de all que nos resulte
conveniente cometer estos abusos de lenguaje para lograr una notacin simplificada
que no se preste a ambigedades y facilite el trabajo. Igual conducta seguiremos al
definir conjuntos por comprensin, indicando despus de la variable el conjunto
universal o referencial; as en lugar de A = { x : x N 3 < x < 9 }; escribiremos
A = { x N : 3 < x < 9} , como tambin lo hace Gamut, L. T. F. (2002). Desde el
punto de vista didctico pensamos que no conviene apegarse a convenciones
preestablecidas sobre los parntesis, sino hacer un uso, aunque sea excesivo, de
parntesis, corchetes y de ser necesario llaves, que evite todo tipo de ambigedades.

3. Secuencia lgica de contenidos

Este trabajo se ha pensado para relacionar conceptos que an conocindolos algunas
veces, no se presentan con una secuencia lgica que permita a partir de unos inducir
otros. La secuencia de las Partes I y II es la siguiente:
Parte I:
(i) Uso de proposiciones como motivadoras de las funciones proposicionales.
(ii) Relacin de los conjuntos de verdad con las funciones proposicionales.
(iii) Definicin de operaciones lgicas entre funciones proposicionales: conectivas.
(iv) Relacin de las conectivas con las operaciones conjuntistas de sus conjuntos de
verdad.
4
Parte II:
(v) Implicacin lgica de proposiciones; su relacin con formas de razonamiento
vlidos.
(vi) Proposiciones por aplicacin de cuantificadores a las funciones proposicionales.
Su relacin con los conjuntos de verdad.
(vii) Negacin y orden de los cuantificadores.

4. Proposiciones, Funciones o Formas Proposicionales y Conjuntos de

Verdad
Recordemos que una proposicin es una oracin o sentencia la cual puede ser
nicamente verdadera (V) o falsa (F). Una funcin o forma proposicional es una
expresin que se convierte en proposicin al asignarle valor a las indeterminadas.
Consideremos, los siguientes ejemplos:
a) 5 es un nmero primo, es una proposicin verdadera.
b) El nmero natural x es tal que x > 10 , es una funcin proposicional b(x ) , que
se transformar en una proposicin cuando reemplacemos la variable x por un
elemento del conjunto N de los nmeros naturales, pudiendo entonces adjudicrsele
un valor de verdad. N es el conjunto universal o referencial considerado.
c) El par ordenado de nmeros reales ( x, y ) satisface la ecuacin x 2 + y 2 = 4 . es
una funcin proposicional c( x, y ) en dos variables x, y ; este par de variables puede
considerarse como una variable bidimensional ( x, y ) , siendo el conjunto universal
considerado R 2 .
d) Cul es la altura del monte Aconcagua?, se enuncia una pregunta, por lo tanto no
es proposicin ni funcin proposicional.
e) Por favor, necesito que me prestes ese libro hasta maana, se enuncia un pedido,
por lo tanto no es proposicin ni funcin proposicional.
f) La cordillera de los Andes se encuentra en Europa, es una proposicin falsa.
g) En el Universo hay seres inteligentes en otras galaxias, es una proposicin si bien
an no se conoce su valor de verdad.
Para las funciones proposicionales dadas en b) y c) queda definido su conjunto de
verdad. As, los conjuntos de verdad de b) y c) sern respectivamente, B y C que
estn definidos por
B = { x N : x > 10 } = { x N : b( x ) }
{ }{ }
C = ( x, y ) R 2 : x 2 + y 2 = 4 = ( x, y ) R 2 : c( x, y ) .
Si un conjunto est definido mediante una propiedad o funcin proposicional que
cumplen sus elementos se dice que est definido por comprensin. En los conjuntos
B y C , por tener infinitos elementos, necesariamente deben ser definidos por
comprensin. Cuando el conjunto es finito su definicin puede ser por extensin,
enumerando todos sus elementos; pero tambin por comprensin mediante una forma
proposicional, como veremos al estudiar las conectivas. Esto permite que en todos los
5
casos consideremos que los conjuntos estn definidos por comprensin mediante una
forma proposicional lo cual nos permitir relacionar las operaciones lgicas con las
operaciones con conjuntos.

5. Conectivas y Operaciones con Conjuntos

Introduciremos nicamente las conectivas veritativo-funcionales, que definen una
proposicin compuesta, cuyo valor de verdad queda determinado por los valores de
verdad de las proposiciones dadas. Las conectivas sern introducidas para
proposiciones mediante su tabla de verdad como motivadoras de las conectivas
aplicadas a funciones proposicionales y a la operacin asociada con los conjuntos de
verdad.

5.1. Negacin de funciones proposicionales y complementario de conjuntos

Comenzaremos viendo la negacin, la cual es una conectiva que se aplica a una nica
proposicin o funcin proposicional. Sea por ejemplo la proposicin p : 9 es un
nmero impar, la cual es verdadera y por tanto, su negacin p : 9 no es un nmero
impar es falsa. Por otra parte, si tomramos una proposicin q que fuera falsa,
resultara q verdadera.
En las funciones proposicionales las variables deben tomar sus valores en el conjunto
universal o referencial U correspondiente. As, en las funciones proposicionales del
pargrafo 4, b(x) toma sus valores para x N , mientras que en c( x, y ) es
( x, y ) R 2 . De esta forma, si negamos dichas funciones proposicionales tendremos:
b(x ) : El nmero natural x es tal que x 10 .
c( x, y ) : El par ordenado de nmeros reales ( x, y ) satisface la inecuacin
x 2 + y 2 4 .
Sabemos que b(x ) define el conjunto
B = { x N : b( x) } = { x N : x 10 } .
Anlogamente, c( x, y ) define
{ } {
C = ( x, y ) R 2 : c( x, y ) = ( x, y ) R 2 : x 2 + y 2 4 }.
El conjunto B es el complementario de B y C lo es de C .
Exhibimos en paralelo las Tablas 1 y 2. La primera presenta los valores de verdad de
la proposicin p y de p . En la Tabla 2 se consideran los valores de verdad de la
funcin proposicional b(x) y de su negacin b(x ) , destacando la equivalencia
entre b(x) y x B , y entre b(x ) y x B .

6
 p p b(x) b(x )
x B x B
V F V F
F V F V
Tabla 1 Tabla 2

5.2. Conjuncin de funciones proposicionales e interseccin de conjuntos

A continuacin trabajaremos con conectivas que se aplican a dos proposiciones o
funciones proposicionales. La primera que estudiaremos es la conjuncin, la cual ser
verdadera si y solo si ambas proposiciones o ambas funciones proposicionales son
verdaderas.
Sean las proposiciones p : La Tierra gira alrededor del Sol; q : La Luna gira
alrededor de la Tierra ambas verdaderas. Su conjuncin es p q : La Tierra gira
alrededor del Sol y la Luna gira alrededor de la Tierra, que en consecuencia es
verdadera.
Sean ahora las dos funciones proposicionales: a(x ) : El nmero natural x es par,
b(x) : El nmero natural x es mltiplo de 3 .
Estas funciones proposicionales definen los siguientes subconjuntos del mismo
conjunto referencial N :
A = {x N : a( x)} = {x N : x es par } ,
B = {x N : b( x )} = {x N : x es mltiplo de 3} .
Su conjuncin es a( x) b( x) : El nmero natural x es par y mltiplo de 3 .
Esta funcin proposicional ser verdadera nicamente para aquellos x N tales que
a(x ) y b(x) sean ambas verdaderas. El conjunto definido por a( x) b( x) es la
interseccin:
A B = { x N : a ( x) b( x) } = { x : x A x B } =
= { x N : x es mltiplo de 6 } .
Las Tablas 3 y 4 exhiben en paralelo los valores de verdad de las proposiciones y su
conjuncin, as como de las formas proposicionales y su conjuncin, destacando la
equivalencia entre a(x ) y x A , b(x) y x B y entre a( x) b( x) y x A B .

7
 p q pq a(x ) b(x) a( x) b( x)
x A xB x A B
V V V V V V
V F F V F F
F V F F V F
F F F F F F
Tabla 3 Tabla 4

A continuacin trataremos la operacin de diferencia entre dos conjuntos como

consecuencia de las operaciones ya estudiadas. Sean dos conjuntos que deben estar
definidos sobre el mismo referencial U , A = {x U : a( x)} y B = {x U : b( x )}.
Definimos la diferencia de A menos B como el conjunto
A B = {x U : a ( x) b( x)} = {x U : x A x B} = A B . De esta forma,
podemos expresar el conjunto A , complementario de A , mediante la operacin de
diferencia; en efecto, U A = U A = A . Aclaremos que, otra notacin utilizada
para la diferencia es A \ B.

5.3. La disyuncin inclusiva y la exclusiva

La conectiva o en castellano tiene dos usos bien diferenciados, la disyuncin
inclusiva y la exclusiva, que en Lgica deben ser denotadas con smbolos distintos.
Como veremos ms adelante, estas dos conectivas hacen vlido el razonamiento
llamado silogismo disyuntivo, por el cual de la verdad de la premisa p o q y de la
verdad de la premisa p , se deduce la verdad de la conclusin q , lo cual suele
escribirse en forma simblica
poq
p
.
q
En este caso la conectiva o simboliza la disyuncin inclusiva as como la exclusiva.

5.3.1. Disyuncin inclusiva de funciones proposicionales y unin de conjuntos

A continuacin estudiaremos la disyuncin inclusiva, la cual ser verdadera si y solo
si una de las dos o ambas proposiciones o funciones proposicionales son verdaderas.
As, con las proposiciones p : Dar los libros deteriorados, q : Dar los libros que
no use, formamos la proposicin p q : Dar los libros deteriorados o los que no
use. Evidentemente, si un libro est deteriorado y adems no lo uso tambin lo dar,
es decir, el o es inclusivo; de all que para evitar ambigedades en documentos suele
escribirse y/o. Considerando las funciones proposicionales a(x ) , b(x) del pargrafo

8
5.2, el conjunto definido por a ( x ) b ( x ) es la unin de ambos conjuntos A , B . As
definimos la unin:
A B = { x N : a ( x) b ( x ) } = { x : x A x B } =
= { x N : x es mltiplo de 2 y / o de 3 } .
Las Tablas 5 y 6 exhiben en paralelo los valores de verdad de las proposiciones y su
disyuncin inclusiva, as como las correspondientes de las funciones proposicionales,
destacando la equivalencia entre a(x ) y x A , b(x) y x B y entre a( x ) b( x ) y
x A B.

p q pq a(x ) b(x) a( x ) b( x )
x A xB x A B
V V V V V V
V F V V F V
F V V F V V
F F F F F F
Tabla 5 Tabla 6

5.3.2. Disyuncin exclusiva de funciones proposicionales y diferencia simtrica de

conjuntos
A continuacin estudiaremos la disyuncin exclusiva, la cual ser verdadera si y solo
si una sola de ambas proposiciones o funciones proposicionales es verdadera.
De esta forma, con las proposiciones: p : Maana a las 22 hs ir a visitarte, q :
Maana a las 22 hs ir al cine, podemos formar la proposicin p q : Maana a
las 22 hs ir a visitarte o ir al cine. En este caso, la conectiva es el o
excluyente, por cuanto, p q ser verdadera en aquellos casos en que una de las dos
proposiciones sea verdadera y la otra falsa pues no puede haber simultaneidad en
ambas acciones. Destaquemos que en el lenguaje escrito una forma de evitar
confusiones es enfatizar el significado excluyente del o escribiendo o bien.
Mediante la Tabla 7 vemos que p q es lgicamente equivalente a
( p q) ( p q ) , pues ambas proposiciones compuestas tienen en las
correspondientes filas los mismos valores de verdad. Una forma de indicar la
equivalencia lgica de dichas proposiciones compuestas es mediante
[ p q ] [( p q) ( p q)] , donde el smbolo ser utilizado para
representar la equivalencia lgica.

9
 p q pq pq ( p q) ( p q ) ( p q ) pq
V V V V F F F
V F V F V V V
F V V F V V V
F F F F V F F
Tabla 7
Considerando las funciones proposicionales a(x ) y b(x) del pargrafo 5.2, el
conjunto definido por a ( x )b ( x) es la diferencia simtrica de los conjuntos A y B :
A B = {x N : a( x) b( x)} = {x : x A x B} =
= {x N : x es mltiplo de 2, o bien de 3, pero no de ambos}
De [ p q ] [( p q ) ( p q )] , resulta
[a( x) b( x)] [(a( x) b( x) ) (a( x) b( x) )] .
En consecuencia, esta ltima
equivalencia lgica permite obtener la siguiente igualdad entre los correspondientes
conjuntos definidos por las funciones proposicionales:
A B = {x N : a ( x ) b( x)} = {x N : (a( x) b( x) ) (a( x ) b( x ) )} =
= {x : x A B x A B} = ( A B) ( A B)
La diferencia simtrica tambin puede expresarse mediante la diferencia entre
conjuntos. En efecto A B = ( A B ) ( B A) . Esta ltima expresin justifica se
la designe diferencia simtrica.
Las Tablas 8 y 9 exhiben en paralelo los valores de verdad de las proposiciones y su
disyuncin excluyente, as como las correspondientes de las formas proposicionales,
destacando la equivalencia entre a(x ) y x A , b(x) y x B y entre a( x )b( x) y
x AB .
p q pq a(x ) b(x) a( x )b( x)
x A xB x AB
V V F V V F
V F V V F V
F V V F V V
F F F F F F
Tabla 8 Tabla 9

Conviene hacer notar que el smbolo para denotar la disyuncin exclusiva no es

de uso frecuente, aunque es utilizado en Klimovsky, G. y Boido, G. (2005).
Cuando un subconjunto de un referencial est definido por extensin, las disyunciones
inclusiva y exclusiva permiten expresarlo por comprensin. Tomemos por ejemplo el
10
subconjunto M de los nmeros naturales, tal que M = {3; 8; 15} y las funciones
proposicionales
m1 ( x ) : [( x = 3) ( x = 8) ( x = 15)] , y m2 ( x ) : [( x = 3) ( x = 8) ( x = 15)]
donde x N . Ambas formas proposicionales toman los mismos valores de verdad
para los mismos valores de x N , pues en cada caso se da una sola igualdad por vez.
As, M = {x N : m1( x)} = {x N : m2 ( x )}. Destacamos la importancia del
referencial, por cuanto al definir un conjunto por comprensin, su complementario
depende del referencial considerado. En nuestro ejemplo M = {3; 8; 15} , si bien para
x N o para xZ resulta
M = {x N : m1( x )} = {x N : m2 ( x)} = {x Z : m1( x)} = {x Z : m2 ( x )} , sin
embargo, seran distintos los complementarios segn sea el conjunto referencial N o
Z.

5.4. Condicional o implicacin material, bicondicional

El condicional o implicacin material si p , entonces q , que simbolizaremos
p q , es la conectiva con mayores dificultades para definirla por una tabla de
verdad, puesto que en general y principalmente en Matemtica, su consecuente q se
deduce de su antecedente p . En la tabla de verdad no figura esta relacin, de all que
para introducirla conviene destacar que la tabla de verdad debe respetar la forma de
razonamiento modus ponens por la cual de la verdad de la premisa p q y de la
verdad de la premisa p , se deduce la verdad de la conclusin q . Por tal motivo
admitiremos que nicamente p q ser falsa cuando p sea verdadera y q sea
falsa. Como veremos en la tabla 10, p q es lgicamente equivalente a (p ) q ,
pues tienen los mismos valores de verdad.

p q pq p (p ) q
V V V F V
V F F F F
F V V V V
F F V V V
Tabla 10
En el caso de la funcin proposicional a( x ) b( x) , y de los conjuntos de verdad A
y B correspondientes respectivamente a a(x ) y a b(x) , obtenemos que
a( x ) b( x) es lgicamente equivalente a (a( x )) b( x) , de donde
{ x U : a( x) b( x) } = { x U : (a ( x)) b( x) } = A B .

11
As, conviene enfatizar que el conjunto A B est formado por todos aquellos
x U que satisfacen la funcin proposicional a( x ) b( x) .
Observemos que los elementos x U que satisfacen a( x ) b( x) forman el
conjunto A B . Luego, si para todo x U , a( x ) b( x) , entonces
{ x U : a ( x) b( x ) } =U . Como por definicin de inclusin, A B si y solo
si para todo x U , a( x ) b( x) , se tendr que A B si y solo si A B = U .
Un problema que se detecta es una utilizacin deficiente de las diversas formas
coloquiales de la implicacin material. Debemos generar en nuestros alumnos la
destreza en la comprensin de las formas coloquiales equivalentes de dicha
implicacin: si p , q , q si p , p solo si q , p es condicin suficiente para
q , q es condicin necesaria para p . Las formas que resultaron ms adecuadas
para la enseanza son p q , o su traduccin coloquial p implica q y si p ,
entonces q . No obstante, es importante insistir en la condicin suficiente y en la
necesaria puesto que suelen figurar en enunciados de proposiciones y teoremas.
Tambin, es necesario destacar que dada la implicacin p q que llamaremos
implicacin directa, se pueden considerar la reciproca q p , la contraria
(p) (q ) , y la contrarrecproca (q) (p) . Puede comprobarse mediante
las tablas de verdad la equivalencia lgica entre la implicacin directa y la
contrarrecproca, as como la equivalencia lgica entre la implicacin recproca y la
contraria. Estos resultados quedan expresados por medio de:
[ p q] [(q) (p)] (Tabla 11) y [q p] [(p) (q)] (Tabla 12).
p q pq p q (q ) (p )
V V V F F V
V F F F V F
F V V V F V
F F V V V V
Tabla 11

p q q p p q (p ) (q )
V V V F F V
V F V F V V
F V F V F F
F F V V V V
Tabla 12
La conjuncin de la implicacin directa p q con su recproca q p es el
bicondicional que denotaremos con p q . As, por su definicin p q es
12
lgicamente equivalente a ( p q ) (q p ) . La forma coloquial de p q es
p si y solo si q o tambin p es condicin necesaria y suficiente para q . Su
tabla de verdad figura en la quinta columna de la Tabla 13. De la comparacin de las
columnas 5 y 7 de dicha tabla, resulta que p q y ( p q) tienen los mismos
valores de verdad, por lo cual son lgicamente equivalentes. En consecuencia,
obtenemos [ p q ] [( p q )] .

p q pq q p pq pq ( pq)
V V V V V F V
V F F V F V F
F V V F F V F
F F V V V F V
Tabla 13
En este momento resulta interesante destacar la relacin entre la equivalencia lgica
que simbolizamos mediante y el bicondicional o equivalencia material .
Como puede verse en la tabla del bicondicional, sus valores de verdad dependen de los
valores de p y de q , resultando el bicondicional verdadero nicamente cuando p y
q tienen los mismos valores de verdad. Por otra parte, dos proposiciones compuestas
son lgicamente equivalentes si y solo si tienen los mismos valores de verdad. De esta
forma, si tomamos alguna de las equivalencias lgicas dadas anteriormente, por
ejemplo, [ p q ] [( p q ) ( p q )] y hacemos la tabla de verdad de
[ p q] [( p q) ( p q)] , la columna del bicondicional toma nicamente el
valor verdadero, independientemente de los valores de verdad de p y de q . En tal
caso, decimos que es una tautologa. De esta forma podemos caracterizar las
equivalencias lgicas mediante el bicondicional. As,
[ p q] [(q) (p)] significa: [ p q] [(q) (p)] es tautologa.
[q p] [(p) (q)] significa: [q p] [(p) (q)] es tautologa.
5.5. Equivalencia lgica de funciones proposicionales e igualdad de conjuntos
Comenzaremos con un ejemplo en el que intervengan dos conjuntos
A = {x U : a( x )} y B = {x U : b( x )}. Probaremos mediante las Tablas 14 y 15 la
equivalencia lgica [a( x ) b( x)] [(a ( x)) (b( x))] , de la que se deducen
x ( A B) x A B y ( A B) = A B , conocida como Ley de De
Morgan.

13
 a(x ) b(x) a( x ) b( x ) [a( x) b( x)]
x A xB x A B x ( A B)
V V V F
V F F V
F V F V
F F F V
Tabla 14

a(x ) b(x) a (x) b(x ) (a( x) ) (b( x) )

x A xB x A x B x A B
V V F F F
V F F V V
F V V F V
F F V V V
Tabla 15
De la comparacin de las ltimas columnas de las Tablas 14 y 15, vemos que tienen la
misma ubicacin de los valores de verdad. De esta forma, si hiciramos la tabla de
verdad de [a( x ) b( x)] [(a( x )) (b( x))] obtendramos en todos los casos
el valor verdadero V, es decir, resultara una tautologa. En consecuencia, se puede
reemplazar el bicondicional por la equivalencia lgica y afirmar que las
funciones proposicionales [a( x) b( x)] y (a( x ) ) (b( x) ) son lgicamente
equivalentes. De esta forma, x ( A B ) x A B , es tambin una tautologa,
de donde por definicin de igualdad entre conjuntos resulta ( A B ) = A B .
Sean ahora los conjuntos A = {x U : a( x )}, B = {x U : b( x )} y
C = {x U : c( x )}. Probaremos la equivalencia lgica
[a( x) b( x)] c( x) [a( x) c( x)] [b( x) c( x)]
Tal equivalencia se obtendr mediante las Tablas 16 y 17 que cuentan con ocho, 23 ,
filas de valores de verdad ya que intervienen tres proposiciones. A partir de ellas
deduciremos la ley distributiva de la interseccin con respecto a la unin de conjuntos
( A B) C = ( A C ) ( B C ) .

14
 a(x ) b(x) c(x) a( x ) b( x ) [a( x) b( x)] c( x)
x A x B xC x A B x ( A B) C
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F F
Tabla 16

a(x ) b(x ) c(x) a ( x ) c( x ) b( x) c( x) [a( x) c( x)] [b( x) c( x)]

x A x B xC x AC xB C x ( A C ) (B C )
V V V V V V
V V F F F F
V F V V F V
V F F F F F
F V V F V V
F V F F F F
F F V F F F
F F F F F F
Tabla 17
De la comparacin de las ltimas columnas de estas tablas, vemos que tienen la misma
ubicacin de los valores de verdad; luego, si hiciramos la tabla de verdad de la
funcin proposicional
[a( x) b( x)] c( x) [a( x) c( x)] [b( x) c( x)]
obtendramos en todos los casos el valor verdadero V, es decir, es una tautologa. En
consecuencia, se puede reemplazar el bicondicional por la equivalencia lgica
y afirmar que las formas proposicionales [a ( x ) b( x)] c ( x ) y
[a( x) c( x)] [b( x) c( x)]
son lgicamente equivalentes. Adems teniendo en
cuenta las segundas filas de ambas tablas, obtenemos que
x [( A B) C ] x [( A C ) ( B C )] , es tambin una tautologa, de donde
por definicin de igualdad entre conjuntos resulta
( A B) C = ( A C ) ( B C ) .

Hasta aqu abordamos nicamente la Parte I de este trabajo. En la Parte II

desarrollaremos los restantes temas mencionados en el resumen.
15
 BIBLIOGRAFA
Bosch, J. (1965), Introduccin al simbolismo lgico, Buenos Aires, EUDEBA.
Bressan, J. C., Ferrazzi de Bressan, A. E. (1986), Lgica y conjuntos (EM 1, M
1), Buenos Aires, SENOC, Asociacin para la Promocin de Sistemas
Educativos no Convencionales.
Copi, I. M. (1978), Introduccin a la Lgica, Buenos Aires, EUDEBA.
Gamut, L. T. F. (2002), Introduccin a la Lgica, Buenos Aires, EUDEBA.
Hamilton, A. G. (1981), Lgica para Matemticos, Madrid, Paraninfo.
Klimovsky, G. y Boido, G. (2005), Las desventuras del conocimiento
matemtico, Filosofa de la matemtica. Una introduccin, Buenos Aires, a-Z
editora.
Nota: En esta Bibliografa se citan adems de una publicacin de los autores que sigue
el enfoque de este trabajo, otras publicaciones que permiten ampliar el tema.

Juan Carlos Bressan

Departamento de Fisicomatemtica
Facultad de Farmacia y Bioqumica, UBA
Junn 956 - (1113) Buenos Aires - Argentina
jbressan@mybfyb.ffyb.uba.ar
bressanjuancarlos22@gmail.com

16