Lgica Proposicional

y
Teora de Conjuntos

1.
1.1.

Rudimentos de Lgica
El mtodo axiomtico

Matemticas es el estudio de las relaciones entre ciertos objetos ideales

como nmeros, funciones y figuras geomtricas. Estos objetos no existen
en el mundo real sino que son modelos abstractos de situaciones fsicas.
Para que un sistema matemtico sirva como modelo de la realidad
debemos tener en principio un mtodo para reconocer enunciados verdaderos, aunque en la prctica alguno puede ser difcil de demostrar. Cuando
los objetos de estudio nos son intuitivamente familiares (como los nmeros enteros), tomamos como axiomas ciertas propiedades intuitivamente
verdaderas e intentamos deducir a partir de ellas todas las restantes propiedades del sistema. Una vez elegidos los axiomas, podemos olvidar la
interpretacin intuitiva y vemos a nuestros objetos como entidades abstractas sujetas a los axiomas dados. Cuando vayamos a aplicar nuestro
sistema a un caso concreto, debemos buscar una interpretacin para cada
nocin introducida y verificar que en esta interpretacin todos los axiomas
son verdad. Entonces podemos concluir que todos los enunciados derivados de los axiomas tambin son ciertos. Esta consideracin subraya la
necesidad de mantener el sistema de axiomas lo mas pequeo posible.
Dos ventajas de este mtodo axiomtico es que podemos examinar el
efecto sobre nuestro sistema de variar los axiomas y que las demostraciones
son mas trasparentes cuanto mas abstracto es el sistema. Por otra parte
cuesta algn tiempo familiarizarse con las nociones abstractas. En esto
puede ayudar el modelo mas o menos concreto en que se basa nuestro
sistema, aunque no es estrictamente necesario y ciertamente no forma
parte de la teora.
1

Estudiar estas nociones abstractas es como aprender un idioma nuevo.

Pero hay un aspecto en el que este proceso difiere de aprender un lenguaje: Debemos razonar sobre los nuevos conceptos y esto requiere atencin
cuidadosa a la interrelacin lgica de los enunciados. Naturalmente es
cierto que an en la vida cotidiana podemos despreciar la lgica slo bajo
nuestra responsabilidad, pero la evidencia patente de lo absurdo de las
conclusiones normalmente nos fuerza a abandonar una lnea falsa de razonamiento. Por contra cuando seguimos una lnea abstracta de pensamiento
sobre conceptos no familiares, podemos alcanzar por razonamiento lgico
conclusiones que no podemos tamizar por el sentido comn. Por tanto es
importante estar totalmente familiarizado con las reglas lgicas que necesitamos y ser conscientes de que estas reglas pueden aplicarse sin mirar el
significado actual de los enunciados a los que las aplicamos. Por esta razn
empezamos describiendo brevemente algunos conceptos y notaciones de
la lgica.

1.2.

Proposiciones

Para nuestro propsito podemos suponer que cada proposicin es o

verdadera o falsa. Usamos V para verdadero y F para falso. El correspondiente valor V o F se llama el valor de verdad de la proposicin.
La Lgica Proposicional describe las formas en que podemos combinar enunciados (tambin llamados proposiciones) verdaderos para producir
otros enunciados verdaderos. Usualmente se consideran cinco operaciones
principales de ese tipo (llamados conectivos lgicos), aunque tcnicamente
podemos derivarlas todas de una o dos de ellas. Estas operaciones son:
Sean A y B dos enunciados (no necesariamente distintos). Definimos la
expresin A y B tambin escrito A B, y llamada la conjuncin de A y B
mediante una tabla de verdad
V V F F
A
B
V F V F
AB V F F F
Esta tabla muestra que AB es verdad cuando A y B son ambas verdaderas
y es falso en el resto de los casos.
Una segunda forma en que podemos combinar proposiciones es utilizando la disjuncin A o B que tambin se escribe como A B. Su tabla
de verdad es:
A
V V F F
B
V F V F
AB V V V F
2

Esto quiere decir que A B es verdad si lo es A o B o ambas.

A partir de cualquier proposicin podemos formar su opuesta o negacin insertando no en los lugares adecuados. En general si A es una
proposicin su negacin es no A denotada tambin A que es verdadera
precisamente cuando A es falsa. Su tabla de verdad es
A V F
A F V
La nocin de implicacin es especialmente importante y su uso en matemticas difiere en algo de su uso corriente, aunque naturalmente el significado subyacente es el mismo.As A implica B o si A entonces B se
denota por A B y significa que A es falsa o B es verdadera. Su tabla
de verdad es
V V F F
A
B
V F V F
AB V F V V
Ntese que si A es falsa, A B es verdadera para cualquier B, en otras
palabras:
Un enunciado falso implica cualquier cosa. Esto puede parecer extrao
al principio, pero tiene su anlogo en el uso ordinario cuando subrayamos
lo absurdo de una afirmacin extrayendo un resultado an mas absurdo.
(Ntese que se puede definir la implicacin en funcin de los otros
conectivos: A B es igual a (A) B. Mas generalmente, cualquier
proposicin compuesta a partir de dos dadas A y B se puede definir usando
slo y ).
El ltimo conectivo de uso frecuente es la biimplicacin o equivalencia
lgica A B que se define como (A B) (B A). Su tabla de
verdad es
V V F F
A
B
V F V F
AB V F F V
Algunas proposiciones compuestas son verdaderas para todos los valores de verdad de la proposiciones elementales que aparecen. (Por ejemplo
siempre es verdadera A (A)). Tales proposiciones se llaman tautologas.
Para comprobar si una proposicin dada es una tautologa podemos usar
tablas de verdad.
3

Por ejemplo consideremos (A (A B)) B:

A
B
AB
A (A B)
(A (A B)) B

V
V
V
V
V

V
F
F
F
V

F
V
V
F
V

F
F
V
F
V

As que (A (A B)) B es una tautologa porque en la ltima fila slo

aparecen V.

1.3.

Predicados

Usualmente los enunciados simples discutidos hasta ahora no son suficientes para tratar las situaciones matemticas.
Adems de las proposiciones necesitamos funciones proposicionales o
predicados. Por ejemplo x es un nmero impar (x recorre los nmeros
naturales) o x es mayor que y (x, y son nmeros naturales). En contraste
con las proposiciones, un predicado ya no es verdadero o falso sino que slo
llega a serlo cuando se sustituyen valores particulares para las variables:
2 es un nmero impar, 3 es mayor que 2.
En la prctica con frecuencia queremos decir que alguna afirmacin P(x)
sobre x es verdadera para todo x (en el universo de discurso). Denotamos
esto por
(x)P(x)
que se lee Para todo x se verifica P(x). Decimos que la variable x est
acotada por el cuantificador universal .
Para expresar que P(x) se verifica para algn x escribimos
(x)P(x)
que leemos Existe un x tal que P(x). Aqu x est acotado por el cuantificador
existencial .
Finalmente para expresar que P(x) se verifica exactamente para un slo
valor de x escribimos
(1 x)P(x)
que leemos Existe un nico x tal que P(x). Ahora x est acotado por el
cuantificador existencial especial 1 .
Cuando todas las variables que aparecen en un predicado estn acotadas por cuantificadores, tenemos una proposicin. Por ejemplo en el
dominio de los nmeros naturales (x)(y)(x + y = y + x) significa que para
4

cualesquiera x, y la suma x + y es independiente del orden de los trminos. De la misma manera (x)(y)(x < y) dice que para todo x existe un
y mayor que x, es decir que no existe un nmero mximo. Ntese que si
aplicamos los cuantificadores en orden inverso obtenemos la proposicin
(y)(x)(x < y) que dice que existe un y mayor que todo x. Evidentemente
esto es falso mientras que lo anteriores verdad, as que se debe prestar
atencin al orden en que se aplican los cuantificadores.
Ntese tambin que una variable acotada puede siempre renombrarse sin cambiar el significado. As (x)P(x) significa exactamente lo mismo
que (y)P(y); por esta razn una variable acotada se llama tambin variable muda. Con frecuencia usamos esta libertad para evitar conflictos de
notacin.
Por ejemplo en lugar de (a = x + y) (x)(a , 2x) es preferible (a =
x + y) (z)(a , 2z). Ambas formas significan lo mismo, pero la segunda
es menos propicia a las malas interpretaciones.
Los cuantificadores universal y existencial estn relacionados por las
equivalencias siguientes, que nos permiten definir uno de ellos en trminos
del otro:

(x)P(x) (x)P(x)
(x)P(x) (x)P(x)
Con ayuda de estas frmulas (y notando que A A) es fcil escribir
la negacin de cualquier frmula con cuantificadores. Por ejemplo
((x)(y)(z)F(x, y, z)) (x)(y)(z)(F(x, y, z))

1.4.

Demostraciones

En cualquier teora matemtica hay axiomas de los que se derivan los

teoremas mediante deducciones lgicas (demostraciones) usando tambin
los teoremas lgicos (tautologas). No es necesario ni apropiado describir
en detalle la forma que tendra una tal demostracin. La presentacin
usual de las demostraciones, lgicamente informal pero matemticamente
rigurosa, se asimila mejor estudiando diversos ejemplos. Pero puede ser
til exponer rpidamente los principales mtodos de demostracin.
Una demostracin directa usualmente tiene la forma: A es verdad y
A B es verdad, luego B es verdad. En la lgica escolstica este proceso
se llama modus ponens.
5

Es importante distinguir entre A B por un lado y A, de donde B

por otro. La distincin puede parecer pedante cuando A es verdad, pero
ignorarla puede llevar a confusin.
A partir del enunciado A B podemos formar otros tres:
El recproco o inverso B A.
El contrario A B.
El contrarrecprocoB A.
El contrarrecproco es lgicamente equivalente al enunciado original
(comprubense las tablas de verdad correspondientes). Por ello otra forma
de demostracin es el modus tolens: A es verdad y B A es verdad,
luego B es verdad.
Hay que observar que el recproco no es equivalente al enunciado dado
(comprobar tambin las tablas de verdad), por lo que un razonamiento del
tipo A es verdad y B A es verdad, luego B es verdad no es correcto. Por
ejemplo, supongamos que queremos demostrar (x)(x2 par x es par).
No es correcto argumentar Si x es par, x2 es par, de donde el resultado,
pero s es correcto decir Si x es impar, x2 es impar, de donde el resultado.
Otra forma de prueba indirecta es por contradiccin tambin llamado
reductio ad absurdum: Para demostrar A mostramos que (A) F, es
decir demostramos que (no A) lleva a una contradiccin.
Tambin existe la demostracin por contraejemplo. Muchos enunciados
tienen la forma (x)P(x). Si queremos demostrar que un tal enunciado es
falso, debemos demostrar su negacin, es decir (x)P(x) y esto se hace
hallando un c tal que P(c) sea cierto.
Finalmente, en matemticas hay demostraciones de existencia no constructivas. Esto puede sonar raro, pero es un tipo de razonamiento que
tambin se da en la vida diaria: En un grupo de 400 personas debe haber
dos que tengan el mismo cumpleaos, aunque para hallar un tal par es
preciso un examen mas detallado del grupo.
Con frecuencia un teorema tiene la forma de una implicacin o una
equivalencia. Citamos unas cuantas formas de expresarlo:
A B : Se verifica A slo si se verifica B; A es suficiente para B.
A B : Se verifica A si se verifica B; A es cierto siempre que B sea cierto;
A es necesario para B.
A B : Se verifica A si y slo si se verifica B; A es necesario y suficiente
para B.
6

En la prctica aparece con frecuencia la frase si y slo si. Muchas

veces se abrevia por sii (en ingls iff ).
Tambin es til tener un signo para indicar el final de una demostracin.
Tradicionalmente se utilizaban las abreviaturas QED (quod erat demostrandum) o CQD (como queramos demostrar). Pero en la literatura
matemtica mas moderna se usa  o .

2.

Conjuntos, Aplicaciones, Relaciones

2.1.

Conjuntos

Un conjunto ser una coleccin de objetos; a cada uno de estos objetos

lo llamaremos elemento del conjunto. Si x es un elemento del conjunto X
escribimos x X y si no es un elemento del conjunto X, entonces x < X.
Llamaremos conjunto vaco, y lo escribiremos , al conjunto que no tiene
elementos.
Dos conjunto X e Y son iguales si tienen los mismos elementos, esto
es, x X x Y. Dados dos conjunto X e Y, decimos que X es un
subconjunto de Y si se verifica: para cada x X se tiene x Y, y lo
escribimos X Y. Un subconjunto X de Y se llama propio si es un
subconjunto y no es igual a Y (a veces se escribe X * Y).
Lema 2.1. La igualdad de conjuntos verifica las siguientes propiedades:
1. Para cada conjunto X se tiene X = X. (Propiedad reflexiva).
2. Si X = Y entonces Y = X. (Propiedad simtrica).
3. Si X = Y e Y = Z, entonces X = Z. (Propiedad transitiva).
Lema 2.2. La inclusin de conjuntos verifica las siguientes propiedades:
1. Para cada conjunto X se tiene X X. (Propiedad reflexiva).
2. Si X Y e Y X, entonces X = Y. (Propiedad antisimtrica).
3. Si X Y e Y Z, entonces X Z. (Propiedad transitiva).
Si X es un conjunto y p es una propiedad que pueden o no pueden
verificar los elemento de X, podemos definir un subconjunto Y de X de
la siguiente forma: Y = {x X/p(X)} (esto es, Y es el conjunto de los
elementos de X que verifican la propiedad p). Otra forma de definir un
7

conjunto es enumerando todos sus elementos, as el conjunto formado por

los elementos a, b, c, d y e lo representaremos por {a, b, c, d, e}.
A partir de un conjunto X podemos formar un nuevo conjunto P(X),
que es el formado por todos los subconjuntos de X. P(X)lo llamaremos el
conjunto potencia de X o el conjunto de las partes de X.
Lema 2.3. Para cada conjunto X se tiene X.
Dados A, B P(X), definimos
La unin de A y B como
A B = {x X/x A x B}.
La interseccin de A y B como
A B = {x X/x A y x B}.
El complementario de A en X como
A = CX (A) = {x X/x < A}.
Dos subconjuntos A y B de X se llaman disjuntos si A B = . Evidentemente A y A son subconjuntos disjuntos.
El teorema siguiente resume las propiedades principales de la unin,
interseccin y el complementario:
Teorema 2.4. Para A, B, C P(X), se verifica:
1. Propiedad Conmutativa:
AB=BA;

A B = B A.

2. Propiedad Asociativa:
A (B C) = (A B) C ;

A (B C) = (A B) C.

3. Propiedad de Idempotencia:
AA=A;

A A = A.

4. Propiedad de Absorcin:
A (A B) = A ;
8

A (A B) = A.

5. Propiedad Distributiva:
A (B C) = (A B) (A C) ; A (B C) = (A B) (A C).
6. Leyes de Morgan:
(A B) = A B ;

(A B) = A B.

7.
A X = X ; A = A ; A X = A ; A = .
8.
A = A ; X = ; = X.
9.
AA=X;

2.2.

A A = .

Producto Cartesiano

Dados dos conjuntos X e Y, se define el producto cartesiano de X e Y

como el conjunto siguiente:
X Y = {(x, y)/x X e y Y}.
Anlogamente podemos definir el producto cartesiano de un nmero finito
de conjunto X1 , X2 , . . . , Xn .
Proposicin 2.5. Dados dos conjunto X e Y y subconjuntos A y B de X y C y D
de Y, se verifica:
1. A Y X Y.
2. (A B) Y = (A Y) (B Y).
3. (A B) Y = (A Y) (B Y).
4. A Y = (A Y).
5. (A C) (B D) = (A B) (C D).
9

2.3.

Aplicaciones

Dados dos conjuntos X e Y, una relacin de X en Y es un subconjunto

del producto cartesiano X Y.
Una aplicacin de X en Y, representada por f : X Y (o tambin en
f

la forma X Y) es una relacin f X Y que verifica que x X !y Y

tal que (x, y) f .
De manera mas informal, se tiene entonces que una aplicacin de X en
Y es una regla que asocia a cada elemento x de X un nico elemento
de Y, al que llamamos f (x). En una aplicacin distinguimos los siguientes
elementos y conceptos:
Dominio de f : es el conjunto X.
Codominio de f : es el conjunto Y.
Imagen del elemento x X: es el elemento f (x) X
Si f : X Y es una aplicacin y A es un subconjunto de X, llamamos
imagen imagen directa de A por f al siguiente subconjunto de Y:
f (A) = { f (a)/a A} Y.
En particular si A = X, el conjunto f (X) se denota Img( f ) = { f (x)/x X} Y
y lo llamamos imagen de la aplicacin f .
Si B es un subconjunto de Y, llamamos preimagen imagen inversa
de B por f al subconjunto de X
f (B) = {x X/ f (x) B}.
Los dos lemas siguientes nos dicen el comportamiento de las funciones
f y f respecto a la unin y la interseccin de subconjuntos.
Lema 2.6. Sea f : X Y una aplicacin y sean A, B subconjuntos de X. Se
verifican las siguientes propiedades:
1. f (A B) = f (A) f (B).
2. f (A B) f (A) f (B).
3. A f ( f (A)).

10

Lema 2.7. Sea f : X Y una aplicacin y sean C, D subconjuntos de Y. Se

verifican las siguientes propiedades:
1. f (C D) = f (C) f (D).
2. f (C D) = f (C) f (D).
3. f ( f (C)) C.
Dos aplicaciones f, g : X Y son iguales si para cada x X se verifica
f (x) = g(x). Es importante destacar que para que dos aplicaciones sean
iguales han de tener el mismo dominio y el mismo codominio.
Destacamos a continuacin algunos ejemplos de aplicaciones que nos
aparecern con frecuencia a lo largo del curso:
Ejemplo 2.8.
1. Para cualquier conjunto X, la aplicacin identidad es
definida como sigue:
1X : X X ; 1X (x) = x, x X.
2. Sea A un subconjunto de un conjunto X, la aplicacin inclusin de A
en X se define por:
iA : A , X ; iA (a) = a, a A.
3. Sea f : X Y una aplicacin y sea A X un subconjunto de X. Se
puede entonces definir entonces una nueva aplicacin de A en Y por
f |A : A Y ;

f |A (a) = f (a), a A,

que llamaremos la restriccin de f a A.

4. Sean X, Y y consideremos el producto cartesiano X Y = {(x, y)/x
X e y Y}. Se tiene entonces las dos siguientes aplicaciones, llamadas
las proyecciones cannicas:
pX : X Y X ; pX (x, y) = x, (x, y) X Y,
pY : X Y Y ; pY (x, y) = y, (x, y) X Y.
A lo largo del curso nos aparecern numerosos ejemplos de aplicaciones.

11

Dada una aplicacin f : X Y, diremos que

f es inyectiva si siempre que f (x1 ) = f (x2 ) entonces x1 = x2 , es decir,
si dos elementos tienen la misma imagen, entonces necesariamente
son el mismo elemento.
f es sobreyectiva si Img( f ) = Y, o equivalentemente, si para cada
y Y existe, al menos un x X con f (x) = y.
f es biyectiva si es inyectiva y sobreyectiva.
Supongamos dadas dos aplicaciones
f :XYy

g : Y Z,

donde el codominio de f coincide con el dominio de g. Podemos definir

entonces una nueva aplicacin, llamada la composicin de f y g, como
sigue:
g f : X Z ; (g f )(x) = g( f (x)), x X.
Usualmente y por comodidad, omitiremos el smbolo de composicin,
escribiendo g f en lugar de g f .
La composicin de aplicaciones verifica las siguientes propiedades:
Proposicin 2.9.
1. La composicin de aplicaciones es asociativa. Esto es dadas aplicaciones f : X Y, g : Y Z y h : Z W se verifica que
h(g f ) = (hg) f .
2. Para cada aplicacin f : X Y se tiene 1Y f = f = f 1X .
3. Dadas aplicaciones f : X Y y g : Y Z, si f y g son ambas inyectivas (respectivamente, sobreyectivas, biyectivas), entonces g f es inyectiva
(respectivamente, sobreyectiva, biyectiva).

2.4.

Relaciones de Equivalencia

Sea X un conjunto. Una relacin binaria R sobre el conjunto X es un

subconjunto del producto cartesiano X X.
Una relacin binaria R X X sobre un conjunto X se llama una
relacin de equivalencia si se verifican las tres siguientes propiedades:
Propiedad reflexiva: Para todo x X se tiene que (x, x) R.
Propiedad Simtrica: Si (x, y) R entonces (y, x) R.
12

Propiedad Transitiva: Si (x, y) R e (y, z) R entonces (x, z) R.

Sea R XX es una relacin de equivalencia sobre X, si el par (x, y) R,
decimos que x es equivalente a y, por la relacin R y escribimos x y
xRy. Esto es
x y ( xRy) (x, y) R.
Con esta notacin las propiedades anteriores se escriben:
x x, x X .
Si x y = y x.
Si x y e y z = x z.
A lo largo del curso nos aparecern numerosos ejemplos de relaciones
de equivalencia. Destacamos ahora le siguiente ejemplo:
Ejemplo 2.10. Sea f : X X0 una aplicacin. Entonces f define la siguiente
relacin de equivalencia sobre el conjunto X
R f = {(x, y) X X/ f (x) = f (y)
o bien, utilizando la notacin anterior, R f es dada por:
x R f y f (x) = f (y).
R f es llamada la relacin de equivalencia asociada a la aplicacin f .
Sea R() una relacin de equivalencia sobre un conjunto X. Para cada
como
elemento x X definimos la clase de equivalencia de x (denotada x)
el subconjunto de X formado por aquellos elementos que son equivalentes
a x, esto es:
x = {y X/y x}.
El conjunto de todas las clases de equivalencia de equivalencia de los
elementos de X es denotado X/R y llamado el conjunto cociente de X por
la relacin de equivalencia R.
Destacamos las siguientes propiedades importantes:
Ya que R es reflexiva, entonces x x para cada x X; por tanto
x , para todo x X.
Y adems

x = X =

xX

xX/R

13

x.

Observamos tambin que, para x, y X, se tiene

x = y x y.

(2.1)

En efecto, si x = y entonces x x = x y y por tanto, x y.

entonces z x;
Recprocamente, supongamos que x y y sea z x,
puesto que x y, por la propiedad transitiva deducimos que z y, y
As x y;
un argumento simtrico muestra que y x
por tanto z y.

y por tanto x = y.
Por ltimo, se tiene que

x y =

dados x, y X entonces

x = y
Entonces
En efecto, si x y , , entonces existe un elemento z x y.
z x y z y. Usando la propiedad simtrica, la propiedad transitiva

se tiene que x y, y entonces por (2.1) x = y.

Las tres propiedades anteriores se enuncian diciendo que el conjunto
cociente X/R constituye una particin del conjunto X.
Finalmente, si R() es una relacin de equivalencia sobre X definimos
la aplicacin proyeccin de X sobre el conjunto cociente de X por R como
pR : X X/R ;

pR (x) = x

Evidentemente, esta aplicacin es sobreyectiva.

14

x X.