Universidad Tecnica Estatal de Quevedo

Facultad de Ciencias de la Ingeniera

L OGICA
M ATEM ATICA

Dra. PhD. Oihane Fernandez Blanco

Quevedo, 2013

No hay recetas magicas, sino mucho trabajo.

Nadie aprende si no se ha equivocado al intentarlo.
No es tonto el que no sabe, sino el que no pregunta.


Indice
general

1. Logica

proposicional

1.1. La logica
proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Proposiciones simples y compuestas . . . . . . . . . . . . . . . . . . . . . . . .

1.2.1. Tablas de verdad y conectores logicos

. . . . . . . . . . . . . . . . . . .
e indeterminacion
o contingencia . . . . . .
1.2.2. Tautologa, contradiccion
1.2.3. Tablas de verdad de manera abreviada . . . . . . . . . . . . . . . . . .

1.3. Leyes logicas

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
logicas

1.4. La equivalencia y la implicacion

y sus leyes . . . . . . . . . . . . . . .
logica

1.4.1. La implicacion
y el conector condicional . . . . . . . . . . . . . .

1.4.2. La equivalencia logica

y el conector bicondicional. Leyes de inferencia
de ejercicios 3: logica

1.5. Relacion
proposicional . . . . . . . . . . . . . . . . . . .

1
1
2
4
8
8
9
10
10
11
12

2. Teora de conjuntos
2.1. Smbolos del lenguaje formal de la teora de conjuntos . . . . . . . . .
intuitiva de conjunto . . . . . . . . . . . . . . . . . . . . . . .
2.2. Nocion
2.3. Subconjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4. Operaciones entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . .
2.5. Diagramas de Venn: revisitando la teora de conjuntos . . . . . . . . .
2.5.1. Propiedades de las operaciones entre conjuntos . . . . . . . .
2.6. Relaciones entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.1. Relaciones binarias de A a B . . . . . . . . . . . . . . . . . . .
2.7. Aplicaciones entre conjuntos . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
2.7.1. Dominio e imagen de una aplicacion

2.7.2. Algebra
de aplicaciones . . . . . . . . . . . . . . . . . . . . . .
de aplicaciones . . . . . . . . . . . . . . . . . . .
2.7.3. Composicion
2.7.4. Clases de aplicaciones: inyectivas, sobreyectivas y biyectivas .

Anexo I: trabajando con la negacion

. . . . . . . . . . . . . . . . . . . . . .
2.8. Relaciones de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . .
de Ejercicios 1: conjuntos . . . . . . . . . . . . . . . .
2.8.1. Relacion
de ejercicios 2: relaciones . . . . . . . . . . . . . . . .
2.8.2. Relacion

15
15
15
16
18
19
20
21
22
27
28
28
29
30
31
34
34
36

3. Algebra
de Boole

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

39

Captulo 1
Logica

proposicional
Para comunicarnos en sociedad, los humanos tenemos el lenguaje cotidiano, la lengua
hablada. Construimos oraciones que tienen sentido y son sintacticamente correctas ,esto es,
estan bien construidas. Pero nuestro lenguaje contidiano no es riguroso, ya que a veces da

lugar a dobles interpretaciones. Por ejemplo, la oracion

Pedro alquilo la casa
podra interpretarse como que Pedro alquilo su casa a alguien, o que Pedro alquilo la casa
del vecino, etc. Por esa falta de rigurosidad, el lenguaje cotidiano no puede proporcionar a
las ciencias un lenguaje exacto y riguroso. Por todo esto, se han construido lenguajes artificiales, esto es, lenguajes bien definidos mas eficaces para la ciencia. Por ejemplo, la Qumica,
la Biologa, la Economa, la Matematica (lenguaje que hemos estado estudiando en el pri
mer tema), etc tienen su propio lenguaje artificial. Y en concreto, la logica
es un ejemplo de
lenguaje artificial.
En este tipo de lenguajes, los signos carecen de significado y hay unas reglas que per conjunto determiten operar con esos signos. Por ejemplo, el signo A no se refiere a ningun
elemento concreto de
minado, de la misma manera que a A no hace referencia a ningun
A.

1.1.

La logica

proposicional

de razonamiento, diramos que es un proceso mental en

Si quisieramos dar la definicion

(la concluel cual pasamos de ciertas afirmaciones (premisas o hipotesis)

a otra afirmacion

sion),
que se deduce o infiere de las premisas. Por ejemplo, de las premisas
PREMISAS:

Los perros son azules

Los gatos son perros

uno puede deducir que

CONCLUSION:

Los GATOS son azules

Aunque no son afirmaciones verdaderas, si es un razonamiento valido de ley.

1


Captulo 1. Logica
proposicional

Precisamente, en la logica
se analiza cuando un razonamiento puede ser valido (que no

verdadero). Y concretamente en la logica

proposicional se estudia la validez de los razonamientos tomando en bloque las afirmaciones que los forman, es decir, sin hacer un analisis
de tales afirmaciones.
Por ejemplo, si denotamos:
A =los perros
B = azules
C =los gatos
entonces resulta que de las premisas
PREMISAS:

A es B
C es A

valida
se deduce que la conclusion

CONCLUSION:

C es B.

independientemente de los valores de A, B, C. No nos interesa la verdad de las afirmaciones.

vamos ya a ponernos manos a la obra y a empezar de verCon esta breve introduccion,
dad con el contenido de nuestra materia.

1.2.

Proposiciones simples y compuestas

En el lenguaje cotidiano hay oraciones que pueden ser verdaderas o falsas, esto es, se
refieren a hechos de la realidad y por tanto, si expresan bien la realidad seran verdaderas,
y si no seran falsas. Por ejemplo,
Los perros son azules
que es falsa. Pero hay otras oraciones que no pueden ser verdaderas o falsas,
es una oracion
como por ejemplo
Que hora es? o Cierra la puerta!
ya que uno no puede preguntarse si es cierto o falso lo que expresan. Nosotros vamos a
trabajar a partir de ahora con oraciones que pueden tomar valores verdadero o falso, y las
llamaremos proposiciones:
es una sentencia declarativa que puede ser verdadera o falsa, pero no
Definicion.
Una proposicion
ambas a la vez. La veracidad (1) o falsedad (0) de una proposicion se llama valor de verdad.
Ejemplos. Las siguientes afirmaciones son proposiciones:
Hoy es sabado. El valor de verdad de esta proposicion depende del da de la semana que sea
hoy. Es 0 de Domingo a Viernes, y 1 el sabado.
Los triangulos tienes cuatro vertices. El valor de verdad es 0.
25 + 24 = 49. El valor de verdad es 1.

1.2. Proposiciones simples y compuestas

Juan va al trabajo en tren. El valor de verdad depende de a que Juan nos estemos refiriendo.
Puede ser 1 o 0.
En cambio, las sentencias exclamativas, las interrogativas y las imperativas no son proposiciones. Por
ejemplo:
Viva Ecuador!
Esta lloviendo?
Oprime control Z
no son proposiciones.
Existen dos tipos de proposiciones:
Definicion.

Una proposicion es simple si no puede descomponerse en partes que a su vez sean

proposiciones.
Definicion.
Una proposicion es compuesta si esta compuesta por proposiciones simples unidas.
Ejemplo 1.2.1. Por ejemplo, estas proposiciones son simples: Los gatos son mamferos, Pedro
viene con Luis.
Y estas son compuestas: Los gatos son mamferos, pero a m me gustan mas los pajaros exoticos,
Si Pedro viene con Luis y trae comida, nos iremos todos al campo.

Como
codificar en las proposiciones del ejemplo anterior ese pero y ese si? Antes

de empezar a verlo, veamos una tabla de smbolos que resume toda la simbologa logica
que
vamos a usar.
Tabla de smbolos
Objeto
Proposiciones simples

Smbolo
p, q, r, s, t, u, . . .

Proposiciones compuestas
Negador
Conjuntor
Disyuntor
Disjuntor excluyente

P, Q, R, S, T, U, . . .

Condicional
Bicondicional

Nombre smbolo
VARIABLE PROPOSICIONAL: repre simple del
sentan cualquier proposicion
lenguaje cotidiano

CONECTORES LOGICOS:
para construir proposiciones compuestas

Ademas, se usa como smbolos auxiliares parentesis, corchetes y llaves para agrupar ordenadamente las proposiciones: { }, ( ), [ ]
Ejemplo 1.2.2. La notacion
p : tres mas cuatro es igual a siete
se utiliza para definir que p es la proposicion simple tres mas cuatro es igual a siete.

La logica
proposicional toma como unidades basicas a las proposiciones simples, y tiene

en cuenta como
se combinan estas proposiciones entre ellas por medio de conectivos logicos
para formar argumentos validos (proposiciones compuestas).
(siguiente seccion)


Captulo 1. Logica
proposicional

1.2.1.

Tablas de verdad y conectores logicos

En el calculo logico
prescindiremos de los contenidos de los enunciados. Esto es, trabajaremos con proposiciones arbitrarias con valores de verdad no especificados, de tal forma
que las proposiciones pueden ser verdadero (1) o falso (0). El conjunto de los posibles valo
res de una proposicionn
p los representaremos en las llamadas tablas de verdad, ideadas por
L.Wittgenstein.
simple p es bien sencilla. Como p solo
puede tener
La tabla de verdad de una proposicion
un valor de verdad, 1 o 0, su tabla de verdad es la siguiente:
p
0
1

cualquiera)
(una proposicion
(es falsa)
(es verdadera)

compuesta es que su valor de verEn cambio, la propiedad fundamental de una proposicion

dad esta completamente determinado por los valores de verdad de las proposiciones que la
componen junto con la forma en que estan conectadas. Por tanto, la tabla de verdad de una
compuesta P nos permite saber si e sta es verdadera (1) o falsa (0) dependiendo
proposicion
de los valores de verdad que toman las proposiciones simples que la componen. Esta tabla
debe enumerar todas las posibles combinaciones de los valores de verdad para las proposiciones p1 , p2 , ..., pn .
compuesta P aparecen tres proposiciones simples
Por ejemplo, si en una proposicion
p1 , p2 , p3 , entonces la tabla de verdad debera recoger los siguientes valores de verdad, mas
el resultado para P , que aprenderemos a calcular un poquito mas adelante:
p1
0
0
0
0
1
1
1
1

p2
0
0
1
1
0
0
1
1

p3
0
1
0
1
0
1
0
1

compuesta P esta formada por n proposiciones simples, la

En general, si una proposicion
tabla de la verdad tendra 2n filas con valores de verdad.
Ahora vamos a estudiar las distintas formas de conectar proposiciones entre s, y presta a las tablas de verdad de las proposiciones compuestas que pueden
remos especial atencion
formarse utilizando las distintas conexiones o conectivos.
Negacion:

Definicion.
Sea p una proposicion cualquiera.
de p a la proposicion no p denotada por p. Esta proposicion sera verLlamaremos negacion
dadera cuando p sea falsa, y vicerversa.
La tabla de verdad de p es:

1.2. Proposiciones simples y compuestas

p
0
1

p
1
0

Conjuncion:

Definicion.
Sean p y q dos conjunciones cualesquiera.
de p y q a la proposicion p y q denotada por p q. Esta proposicion
Se llama conjuncion
sera verdadera solo cuando p y q lo sean.
La tabla de verdad de p q es:
p
0
0
1
1

q
0
1
0
1

pq
0
0
0
1

si resulta que p q es verdadero, necesariamente tanto p como q tienen que

En conclusion,
ser verdaderos. En cambio, si p q es falso, una de las dos (o ambas) sera falsa.
Disyuncion:

Definicion.
Sean p y q dos conjunciones cualesquiera.
de p y q a la proposicion p o q denotada por p q. Esta proposicion
Se llama disyuncion
sera verdadera cuando al menos una de las dos proposiciones p o q lo sean.
La tabla de verdad de p q es:
p
0
0
1
1

q
0
1
0
1

pq
0
1
1
1

De nuevo podemos concluir que si p q es verdadera, necesariamente una de las dos (o

ambas) sera verdadera. En cambio, si p q es falso, ambas proposiciones p, q necesariamente
son falsas tambien.
Disyuncion
excluyente: Y
En el lenguaje ordinario la palabra o puede tener dos significados: a vez puede ser o p,
o q, o ambas, pero otras veces puede tener un sentido excluyente, en el que puede o ser o p o
q pero no ambas a la vez. Por ejemplo, la frase

Manana
ire a Quito o a Guayaquil
le llamaremos disyuncion exclusiva.
es excluyente. A este tipo de disyuncion
Definicion.
Sean p y q dos conjunciones cualesquiera.
exclusiva de p y q a la proposicion p o q, pero no ambas denotada por
Se llama disyuncion
p Y q. Esta proposicion sera verdadera si una de las dos p o q son verdaderas, pero no ambas.


Captulo 1. Logica
proposicional

La tabla de verdad de p Y q es:

p
0
0
1
1

pq
0
1
1
0

q
0
1
0
1

Por tanto, si p Y q es verdadera, necesariamente una de las dos (pero no ambas) sera verdadera. En cambio, si p q es falso, ambas proposiciones p, q tienen el mismo valor de verdad,
aunque no podemos deducir cual sera.
Ejemplo 1.2.3. Construir la tabla de verdad de la proposicion (p q).
p
0
0
1
1

q
0
1
0
1

q
1
0
1
0

p q
0
0
1
0

(p q)
1
1
0
1

Proposicion
Condicional:
Definicion.
Sean p y q dos conjunciones cualesquiera.
Se llama proposicional condicional a la proposicion si p entonces q denotada por p q.
Una proposicion condicional es falsa cuando, siendo verdad la hipotesis, la conclusion es falsa, ya que
no se debe deducir una conclusion falsa de una hipotesis verdadera.
A la proposicion p se le llama: hipotesis, antecedente, premisa o condicion suficiente, y a la proposicion q tesis, conclusion o condicion necesaria del condicional.
La tabla de verdad de p q es:
p
0
0
1
1

q
0
1
0
1

p q
1
1
0
1

Por tanto, si p q es verdadera poco se puede decir de los valores de verdad de p, q. Pero
si es falsa, entonces necesariamente p sera falsa y q verdadera.
Observacion.
Otras formas equivalentes de leer p q son:
q a condicion de p

q si p

q es una condicion necesaria para p

p solo si q

q es consecuencia logica de p

q cuando p

p es una condicion suficiente para q

1.2. Proposiciones simples y compuestas

Ejemplo 1.2.4. Estudiemos estos casos:

(a) p y q verdaderas: parece evidente que esta sentencia se tome como verdadera.
Si como mucho, entonces engordo
Esta sentencia se evalua
como verdadera si la hipotesis y la consecuencia son verdaderas. Pero
cuidado! Tambien se puede evaluar como verdadera el condicional p q aunque no exista una
relacion de causa entre p y q. Ejemplo, la sentencia
Si Garca Lorca fue un poeta, entonces Gauss fue un matematico
ha de evaluarse como verdadera, aunque lo primero no implique lo segundo. No hay que confundir
esta condicional con la implicacion logica p = q que estudiaremos mas adelante (vease pag. ).
La sentencia
Garca Lorca fue un poeta implica que Gauss fue un matematico
es una implicacion falsa desde el punto de vista logico.
(b) p verdadera y q falsa: supongamos que un poltico aspirante a presidente promete:
Si gano las elecciones, entonces bajare e los impuestos
Si resulta que gana las elecciones pero no baja los impuestos, entonces todo el mundo le echara en
cara que dijo una mentira. Dicho de otra mentira, la frase anterior sera una sentencia falsa. Por
eso parece natural evaluar este tipo de condicional como falso.
(c) p falsa y q verdadera: uno podra pensar que la sentencia p q no es ni verdadera ni falsa,
pero como estamos en logica binaria, tenemos que asignarle un valor. Ya hemos dicho que si p
entonces q tambien se puede leer como p es una condicion suficiente para q. Suficiente, pero
no necesaria. Esto es, tal vez, aparte de p, existen otros motivos que hagan que q sea verdadero.
Por ejemplo:
Si estudio mucho, entonces me canso
Como puede haber otros motivos aparte de estudiar que producen cansancio, el hecho de que p
sea falso no invalida la sentencia. Esto es, la falsedad de p no hace falso a q, por lo que lo hace
verdadero. En consecuencia, p q es verdadero.
(d) p y q falsas: ante un disparate, cualquier otro esta justificado. Es parecido al caso anterior. Como
el que p sea falsa no hace ni verdadera ni falsa a q, pues q bien podra ser falsa tambien. Por
ejemplo:
Si tu eres programador, entonces yo soy el dueno
de Microsoft
Si tu eres SuperMan, entonces yo soy el Papa de Roma


Captulo 1. Logica
proposicional

Bicondicional:
Definicion.
Sean p y q dos conjunciones cualesquiera.
Se llama proposicional bicondicional a la proposicion p si y solo si q denotada por p q.
Por definicion, p q es equivalente a
(p q) (q p)
La tabla de verdad de p q es:
p
0
0
1
1

p q
1
1
0
1

q
0
1
0
1

q p
1
0
1
1

p q
1
0
0
1

si ambas proposiciones p q y q p son verdadePor tanto, p q es verdadera solo

ras.
Observacion.
Otra forma equivalente de leer p q es:
Una condicion necesaria y suficiente para p es q.

1.2.2.

Tautologa, contradiccion
e indeterminacion
o contingencia

Definicion.
Sea P una proposicion compuesta de las proposiciones simples p1 , p2 , . . . , pn . Se dice
que:
(a) P es una tautologa si es verdadera para todos los valores de verdad que se asignen a p1 , p2 , . . . , pn .
En este caso, toda tautologa se denotara por T .
si es falsa para todos los valores de verdad que se asignen a p1 , p2 , . . . , pn .
(b) P es una contradiccion
En este caso, toda contradiccion se denotara por F .
(c) P es una contingencia si no es ni una tautologa ni una contradiccion.
Ejemplo 1.2.5. Pruebese que p p es una tautologa y p p es una contradiccion.
p
0
0
1
1

1.2.3.

p
1
1
0
0

p p
1
1
1
1

p p
0
0
0
0

Tablas de verdad de manera abreviada

Para calcular las tablas de verdad, la jerarqua que se debe seguir es la siguiente (aparte de tener en cuenta los parentesis, corchetes y llaves, que tambien indican un orden de
calculo):
Los conectores que ligan mas, de mayor a menor, son los siguientes:


1.3. Leyes logicas

, , Y
,

NIVEL 1
NIVEL 2
NIVEL 3

Por tanto, siguiendo este orden, uno puede calcular tablas de verdad de manera mas
resumida. Por ejemplo, para calcular la tabla de verdad de p q podemos dar valores de

verdad a p y q, luego a p y q poniendo el valor debajo del signo , y por ultimo

poner el
resulta de p q debajo del signo :

1
1
0
0

p
0
0
1
1

1
0
0
0

1
0
1
0

q
0
1
0
1

Otro ejemplo es la tabla de verdad abreviada de el de (p q). En este caso, primero se

niega q, luego se hace p y no q, y por fin se niega todo:

1
1
0
1

1.3.

(p
0
0
1
1

0
0
1
0

1
0
1
0

q)
0
1
0
1

Leyes logicas

o formula

Una ley logica

es una expresion
proposicional que es siempre una tautologa,
independientemente del valor de verdad que tengan las proposiciones (simples o compuestas) de la que esta formada. Mas formalmente,
Definicion.
Una proposicion logica (compuesta por varias proposiciones representadas con letras

y unidas entre s con smbolos logicos) es una ley logica

si verifica que es una tautologa, esto es,
sisiempre resulta verdadera aunque algunas o todas esas proposiciones sean falsas.
He aqu algunas de ella:

SON TAUTOLOGIAS
LAS SIGUIENTES PROPOSICIONES
Para
Para
p p T

p p F

Ley de identidad

p F p

p T p

Ley de dominacion

p T T

p F F

Ley de idempotencia

p p p

p p p

Ley conmutativa

p q q p

p q q p

Ley asociativa

p (q r) (p q) r;

p (q r) (p q) r


Captulo 1. Logica
proposicional

10

Ley de la doble negacion

p p

Leyes distributivas

p (q r) (p q) (p r)
p (q r) (p q) (p r)

Leyes de absorcion

p (p q) p
p (p q) p

Leyes de Morgan

(p q) p q
(p q) p q

Para demostrar estas leyes logicas,

lo unico
que tenemos que hacer es calcular la tabla de
verdad y demostrar que son tautologas.

1.4.

La equivalencia y la implicacion
logicas

y sus leyes

causaAl principio del tema vimos como,

muchas veces, aunque no existe una relacion

efecto entre p y q, si ambas son ciertas entonces p q la tomamos como cierta en la logica
proposicional (vease el ejemplo 1.2.4(a)). En este apartado vamos a definir la implicacion logica
p s implicara logicamente

= y la equivalencia logica . En estos casos, la proposicion

la
q.
proposicion

1.4.1.

La implicacion
logica

y el conector condicional

Definicion.
Sean P y Q dos proposiciones compuestas.

Entonces, se dice que P implica (logicamente)

Q si resulta que Q es cierto cuando P es cierto.
Dicho de otra manera, si P es cierto entonces Q es cierto.
Por tanto, como cuando P es cierto Q tiene que ser cierto necesariamente, entonces si Q
es falso, P tambien es falso.
Ejemplo 1.4.1. (P Q) = P .
Demostracion.
(P Q) es cierto. Usando las leyes de Morgan, entonces, P Q es cierto.
Por tanto, es cierto que no P y no Q. En particular, es cierto que P .
Proposicion.
Sean P y Q dos proposiciones compuestas.
Es equivalente que P = Q a que P Q sea una tautologa.
se deduce que cualquier ley de la logica

De esta proposicion
(cualquier tautologa) que
logica.

lleve implcita una se convierte automaticamente en una implicacion

Vamos a

no hemos visto, y vamos a escribir su corresver nuevas leyes logicas

(tautologas) que aun
logica.

pondiente implicacion

 logicas

1.4. La equivalencia y la implicacion

y sus leyes

11

logica

Como implicacion

Ley de adicion

Como ley de la logica

(son tautologas)
p (p q)

Ley de simplificacion

(p q) p

(P Q) = P

Ley del Modus Ponendo Ponens

[(p q) p] p

[(P Q) P ] = P

Ley del Modus Tollendo Tollens

[(p q) q] p

[(P Q) P ] = P

Ley de los silogismos disyuntivos

1.4.2.

[p (p q)] q
[p (p q)] q

P = (P Q)

[P (P Q)] = Q
[P (P Q)] = Q

La equivalencia logica

y el conector bicondicional. Leyes de inferencia

En este caso, vamos a obtener una equivalencia logica

entre dos proposiciones, esto es,
dos proposiciones van a ser equivalentes. Cuando dos proposiciones son equivalentes, se
pueden sustituir unas por otras. Por tanto, de estas equivalencias se obtienen lo que se conocen como leyes de inferencia, que no son mas que expresiones formales o formulas Proposi
cionales que se usan en el calculo logico
para simplificar expresiones.
Definicion.
Sean P y Q dos proposiciones compuestas.

Entonces, se dice que P y Q son (logicamente)

equivalentes, y se escribe P Q o P Q,
cuando ambas tienen los mismos valores de verdad.
Por tanto, para que P y Q sean equivalentes, si P es cierto Q tiene que ser cierto, y si P
es falsa Q tiene que ser tambien falsa.
Ejemplo 1.4.2. Las Leyes de Morgan son equivalencias logicas. Esto es, (P Q) P Q.
Demostracion.
Si (P Q) es cierto, P Q es falso, luego
P Q es cierto. Por tanto, es cierto que no P y no Q. En particular, es cierto que P .
Proposicion.
Sean P y Q dos proposiciones compuestas.
Es equivalente que P = Q a que P Q sea una tautologa.
se deduce que cualquier ley de la logica

De esta proposicion
(cualquier tautologa) que

lleve implcita una se convierte automaticamente en una equivalencia logica.


Captulo 1. Logica
proposicional

12

1.5.

Relacion
de ejercicios 3: logica

proposicional

(1) Dgase cuales

de las siguientes afirmaciones son proposiciones y determinar el valor de
verdad de aquellas que lo sean.
(a) p: Existe Premio Nobel de informatica.

(b) q: La tierra es el unico

planeta del Universo que tiene vida.

(c) r: Teclee Escape para salir de la aplicacion.

(d) s: Cinco mas siete es grande.
(2) Sean las proposiciones
p : Esta nevando.
q : Ire a la ciudad.
r : Tengo tiempo.

que simbolice cada una de las

(a) Escribir, usando conectivos logicos,
una proposicion
siguientes afirmaciones:
(a.1)
(a.2)
(a.3)
(a.4)

Si no esta nevando y tengo tiempo, entonces ire a la ciudad.

si tengo tiempo.
Ire a la ciudad solo
No esta nevando.
Esta nevando y no ire a la ciudad.

(b) Enunciar afirmaciones que corresponden con cada una de las proposiciones siguientes:
(b.1)
(b.2)
(b.3)
(b.4)

q (r p)
rq
(q r) (r q)
(r q)

(3) Calcular las tablas de verdad (de la forma usual y de manera abreviada) de las siguientes
proposiciones:
(a) p q (no p y q)
(b) p q (p y no q)
(c) (p q) (no es cierto que py q)
(d) p q (no p y no q)
(e) (p q) (no es cierto que no p o q)
(f) (p q) p (no es cierto que p y q, o no p)
(g) p (q p) (p, o, no q y no p)
(h) p q(Si no p, entonces q)
(i) (p q) (No es cierto que si p, entonces no q)
si p, entonces no q, o tambien p solo
si no q)
(j) p q (Solo
(k) p (r q) (Si no p, entonces r y no q).

 de ejercicios 3: logica

1.5. Relacion
proposicional

13

(4) Establecer si las siguientes proposiciones son tautologas, contingencias o contradic

ciones:
(a) (p q) (q p)
(b) [p (q r)] [(p q) (p r)]
(c) (p q) q
(d) p (p q)
(e) (p q) p
(f) [(p q) p] (p q)
(g) [(p q) (r s)] [(p r) (q s)]

14

Captulo 1. Logica
proposicional

Captulo 2
Teora de conjuntos
2.1.

Smbolos del lenguaje formal de la teora de conjuntos

Tabla1 :
Objeto
Conjuntos
Elementos del conjunto
Pertenencia, no pertenencia
Existencia, no existencia
Cuantificador universal

Negacion
y, o

Implicacion
Equivalencia
Tal que

2.2.

Smbolos
A, B, C, . . .
a, b, c, d, . . .
,
/
, @

,
=

| o :

Nocion
intuitiva de conjunto

en un todo de objetos bien definidos y diferenciables entre s,

Un conjunto es la reunion
que se llaman elementos.
Si el elemento a pertenece al conjunto A, esto se denota como a A. Si no pertenece a A,
entonces se denota por a
/ A.
Por ejemplo, las afirmaciones a
/ A y (a A) son equivalentes, esto es:
a
/ A (a A).

Definir un conjunto es describir de una manera precisa, sin ambiguuedades,

cu a ales son
los elementos de dicho conjunto. Un conjunto se define entre llaves y los elementos separados por comas. Existen distintas maneras de definir un conjunto:
por extension,
enumerando todos y cada uno de sus elementos separados por comas y
encerrando todo entre llaves. En algunos casos no se listan todos los elementos, pero se
1

sera conveniente que el profesor escribiera esta tabla en la pizarra y mas adelante fuera anadiendo
simbo vayan apareciendo, por ejemplo los smbolos de inclusion
y exclusion
, *, etc
loga nueva segun

15

16

Captulo 2. Teora de conjuntos

nombran los suficientes y se usan los puntos suspensivos . . . para sugerir los elementos
faltantes.
por comprension,
diciendo cual es la propiedad que los caracteriza. Esto es:
A = {x B|x cumple la propiedad P } B.
Esto se lee: el conjunto de los x en B tales que x cumple la propiedad P .
Ejemplos.

1. El conjunto de las letras del alfabeto (por extension2 ):

A = {a, b, c, . . . , x, y, z}

2. El conjunto de las estaciones3 :

B = {primavera, verano, otono,
invierno} = {p, v, o, i}
4

3. El conjunto de los numeros

naturales menores de 60 (por comprension):

C = {n N : n < 60}
4. El conjunto de los numeros

pares:
D = {p N : p es par} = {p N : p es divisible por 2}
5. El conjunto de los numeros

primos:
D = {p N : p es primo} = {p N : p solo es divisible por 1 y por si mismo}
Observacion.
En un conjuntoel orden en el cual se enumeran los elementos es irrelevante, y los
elementos se consideran una sola vez.
A = {a, b, c} = {b, c, a} = {c, b, a} = {a, b, b, b, b, c}

2.3.

Subconjuntos

Definicion.
Si A y B son dos conjuntos, se dice que B es un subconjunto de A, y se denota por
B A, si se verifica que todos los elementos de B estan contenidos en A. Esto es:
B A x B, x A (x B = x A)
B esta contenido en
A

si y solo
si

para todo x en
B, x pertenece
aA

si

si x pertenece a B, entonces x pertenece a A

En particular, todo conjunto esta incluido en s mismo: A A.

2

aqu se debera de enfatizar al alumno que aunque podramos escribir todas las letras del abecedario, y
as enumerar todas y cada uno de los elementos, no es absolutamente necesario, ya que con los puntos suspen
sivos y la logica
es facil deducir que A es, de verdad, el conjunto de las letras del alfabeto.
3
enfatizamos que para mantener la coherencia, a este nuevo conjunto lo denotamos por B y no por A, ya que
en el mismo contexto no se puede definir un mismo conjunto A de nos maneras diferentes.
4
enfatizar que si tenemos que trabajar con este conjunto continuamente, puede ser tedioso tener que estar

continuamente escribiendo todas las palabras. por ello es mas optimo

reducirlas a su primera letra, de tal forma

que cada vez que escribamos o automaticamente sepamos que estamos hablando del otono.

2.3. Subconjuntos

17

Observacion.
Si B no es un subconjunto de A, esto se denota por B * A. Es mas:
B * A (x B, x A) x B : x
/A
B no esta contenido en
A

si y
solo
si

no se verifica que para

todo x en B, x pertenece a A

si

existe algun
x en B que
no pertenece a A

Definicion.
Se dice que dos conjuntos A, B son iguales cuando se verifica que ambos estan contenidos el uno en el otro, esto es:
A = B A B B A
A es igual a B

si y solo
si

A pertenece a B y B pertenece
aA

Por lo tanto,
A 6= B (A B B A) A * B B * A
A es distinto
de B

si
y
si
solo

no se verifica que A
pertenece a B y B
pertenece a A

sii

A no pertenece a B o B no
pertenece a A

Ahora podemos dar la siguiente definicion:

Definicion.
Sean A, B dos conjuntos. Entonces, se dice que B es un subconjunto propio de A, y
se denota por B A o analogamente B ( A, si B es un subconjunto de A distinto de A, esto es:
B A B A B 6= A
Definicion.
El conjunto que no tiene elementos se llama conjunto vaco y se denota por .
Observese que
, A A, A.
Esto es, tanto el conjunto vaco como todo el conjunto A son subconjuntos de un conjunto A,
cualquiera que sea e ste.
Pregunta. Es A = {} el conjunto vaco?5
Por otro lado, el conjunto A = {x : x > 0 x < 0} no tiene elementos, ya que ningun
numero

es positivo y ademas negativo. Por lo tanto A es un conjunto vaco: A = .

Definicion.
Se define como el conjunto potencia o conjunto de partes P (A) al conjunto formado
por todos los subconjuntos de un conjunto dado A. Equivalentemente:
P (A) = {B : B A}
Propiedades.

1. Los elementos de P (A) son los subconjuntos de A.

2. B P (A) B A. Por tanto, , A A.

Observacion.
El smbolo se usa unicamente

para elementos de un conjunto, mientras que se

usa para conjuntos.
Definicion.
El conjunto que contiene a todos los elementos a los que se hace referencia se conoce por
conjunto universal o universo, y lo denotaremos por U .
Ejemplo 2.3.1. N Z Q R y R se puede tomar como conjunto universal si es que desconocemos
la existencia de los numeros

imaginarios. En caso de conocer el conjunto de los numeros

imaginarios
C, entonces este ultimo

sera el Universo de los numeros.

Obviamente, no, ya que A es el conjunto formado por un unico

elemento,

18

Captulo 2. Teora de conjuntos

2.4.

Operaciones entre conjuntos

Definicion.
Sea U el universo y A, B U . Entonces:
de A y B, denotada por A B, es el conjunto formado por los objetos que son
1. La union
elementos de A o de B:
A B = {x U : x A x B}
entre A y B, denotado por A B, es el conjunto formado por objetos que son
2. La interseccion
a la misma vez elementos de A y de B:
A B = {x U : x A x B}
Si la interseccion entre dos conjuntos A y B es nula (A B = ), entonces se dice que los
conjuntos son ajenos o disjuntos.
3. La diferencia entre A y B, denotada por A B, es el conjunto formado por los elementos que
estan en A pero no estan en B:
A B = {x U : x A x
/ B} = A \ B
Se define el complemento de A como la diferencia U A:
U A = {x U : x U x
/ A} = {x U : x
/ A}
Existen muchas maneras de expresar el complementario. Estas son U A, AC , U \ A y usando
la notacion de logica proposicional, A.
4. La diferencia simetrica entre A y B, denotada por A 4 B, es el conjunto que contiene a todos
los elementos que de A y de B salvo los comunes a ambos:
A 4 B = {x U : x A B x
/ A B}
Observese que, por la definicion de diferencia, se puede deducir que
A 4 B = (A B) (A B) = (A B) (B A)
Propiedades. Observese que:
A A = A;
A A = A;
A A = ;

A = A;
A = ;
A 4 A = ;

AU =U
AU =A
U 4A=U A

Ejemplos. Sea el universo U de los numeros

naturales menores de 11, y los subconjuntos A, B, C, D

formados por, respectivamente: los numeros

impares, los numeros

pares, los numeros

menores de 6 y
los numeros

mayores de 5.
U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {1, 3, 5, 7, 9}; B = {2, 4, 6, 8, 10}; C = {1, 2, 3, 4, 5}; D = {6, 7, 8, 9, 10}
Calculese:

A B, C D, A D, A C, A D, A B, C D, C A, A C, D B, B D, U
A, C 4 A, A 4 D, B 4 D.
Con quien de los subconjuntos definidos coincide U A? Consecuentemente, que relacion se
puede establecer entre A y B?

2.5. Diagramas de Venn: revisitando la teora de conjuntos

19

Solucion.
A B = U ; C D = U ; A D = {1, 3, 5, 6, 7, 8, 9, 10} = U {2, 4}
A C = {1, 3, 5}A D = {7, 9}A B = = C D; C A = {2, 4}
A C = {7, 9}; D B = {7, 9}; B D = {2, 4}; U A = B, por lo que B es el
complemento de A.
C 4 A = {2, 4, 7, 9}; A 4 D = U {2, 4, 7, 9} = D (C 4 A)
B 4 D = {2, 4, 5, 7, 9} = (C 4 A) {5}

2.5.

Diagramas de Venn: revisitando la teora de conjuntos

Los diagramas de Venn sirven para encontrar relaciones entre los conjuntos de manera
grafica mediante dibujos y diagramas.
En conjunto universo se representa por un cuadrado,

se dibuja si fuera necesario, y los conjuntos se representan por medio de elipses o

y solo
circunferencias, de tal forma que los aspectos de interes se resaltan sombreando las a reas
respectivas.
Ejemplos.

1. El conjunto A

2. B A

3. A B: disjunta y no-disjunta

20

Captulo 2. Teora de conjuntos

4. A B

5. A B, B A, U A

6. A 4 B

2.5.1.

Propiedades de las operaciones entre conjuntos

detallamos las propiedades de las operaciones union,

interseccion,
difeA continuacion
rencia y diferencia simetrica entre conjuntos.
Proposicion.
Sea U el conjunto universo y A, B, C U . Entonces:
1. (propiedades de idempotencia) A A = A A = A
2. (propiedades asociativas)
A (B C) = (A B) C
A (B C) = (A B) C
A 4 (B 4 C) = (A 4 B) 4 C
3. (propiedades conmutativas)
AB =BA
AB =BA

2.6. Relaciones entre conjuntos

21

A4B =B4A
4. (propiedades distributivas)
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
A (B 4 C) = (A B) 4 (A C)
5. (identidades)
U A = A; U A = U
A = ; A = A
4 A = A; U 4 A = U A
6. (propiedades del complemento)
A (U A) =
A (U A) = U
U (U A) = A
U U =
U =U
7. Leyes de Morgan
U (A B) = (U A) (U B)
U (A B) = (U A) (U B)
Demostracion. Usando los diagramas de Venn.

2.6.

Relaciones entre conjuntos

estudiaremos estructuras basicas que pueden representarse a traves de

En esta seccion
entre elementos de distintos conjuntos, ya que las relaciones juegan un papel
una relacion
incluyendo estructuras de programas y analisis de
importante en la teora de computacion,
algoritmos.
y la equivaAlgunos ejemplos de relaciones que ya hemos estudiado son la implicacion
lencia, las relaciones entre conjuntos, entre elementos y conjuntos, etc. Tambien lo son las
relaciones de parentesco, de amistad, entre personas, etc.
expresar y estudiar cientficamenVamos a intentar, mediante un proceso de abstraccion,

te estas relaciones. Para ello, veamos antes un ejemplo de relacion:

Ejemplo 2.6.1. Sean los conjuntos
A = {huevos, leche, maiz} y B = {vacas, cabras, gallinas}
Si establecemos la relacion de que un elemento de A esta relacionado con un elemento de B si el primero
esta producido por el segundo, entonces: huevos esta relacionado con gallinas, leche lo esta con vacas
y tambien con cabras, pero el maiz no esta relacionado con ninguno.

22

Captulo 2. Teora de conjuntos

Veamos ahora como

codificar eso matematicamente. La forma mas directa de expresar
entre elementos de dos conjuntos es usando pares ordenados, por lo que de
una relacion
como un conjunto de pares ordenados. En
manera abstracta se puede definir una relacion
este contexto se considerara que el primer elemento del par ordenado esta relacionado con el

segundo elemento del par ordenado. Por ello, es necesario introducir la siguiente definicion:
Definicion.
Sean A y B dos conjuntos cualesquiera. Se define el producto cartesiano A B como
el conjunto de pares ordenados (a, b), donde a A y b B, esto es:
A B = {(a, b)|a A, b B}
Ejemplo 2.6.2. En el ejemplo anterior:
A B = {(huevos, vacas), (huevos, cabras), (huevos,gallinas), (leche,vacas), (leche,cabras),
(leche,gallinas), (maiz,vacas), (maiz,cabras), (maiz,gallinas)}
Es A B igual a B A?
anterior aun
se puede generalizar un poco mas:
La definicion
Definicion.
Se define el conjunto cartesiano de n conjuntos A1 , . . . , An como:
A1 . . . An = {(a1 , a2 , . . . , an )|ai Ai , i {1, . . . , n}}
de relacion:

Ahora ya podemos dar la definicion

Definicion.

Se define una relacion R sobre A1 . . . An como cualquier subconjunto de este

producto cartesiano, esto es,
R A1 . . . An
Ejemplo 2.6.3. En el ejemplo 2.6.1,
R = {(huevos, gallinas), (leche, vacas), (leche, cabras)}
Tipos de relaciones
Si R = , se la conoce como relacion vaca.
Si R = A1 . . . An , se la conoce como relacion universo.
Si Ai = A i {1, . . . , n}, R es una relacion n-aria sobre A. En particular, si n = 2, la
R es una relacion binaria sobre A, y si n = 3, es una relacion terciaria sobre A.
relacion

2.6.1.

Relaciones binarias de A a B

En este caso, nos limitamos a n = 2, por lo que tomamos

A1 A2 = A B,

RAB

binaria sobre A.
con la particularidad de que si A = B, se dice que R es una relacion
Estas expresiones son equivalentes:

2.6. Relaciones entre conjuntos

23

(a, b) R a esta relacionado con b a b

(a, b)
/ R a no esta relacionado con b a
b
Ejemplos.

1. Si R1 define la relacion menor que en Z:

3 1 7 pero 7

1 3.

2. Si R2 define la relacion multiplo

de en Z:
4 2 2 pero 2

24
Mas generalmente:
a 2 b k Z|a = kb
Entonces:
a 2 1, a Z
Si a 2 2, entonces a es par.
Si a

2 2, entonces a es impar.
3. Cuando un compilador traduce un programa informatico construye una tabla de smbolos que
contiene los nombres de los smbolos presentes en el programa, los atributos asociados a cada
nombre y las sentencias del programa en las que estan presentes cada uno de los nombres.
As pues, si S es el conjunto de los smbolos, A es el conjunto de los posibles atributos y P es
el conjunto de las sentencias de programa, entonces la tabla de smbolos incluye informacion
representada por las relaciones binarias de S a A y de S a P .
4. Sea A = {1, 2, 3} y R3 = {(1, 2), (1, 3), (3, 2)}. R3 es una relacion en A ya que es un subconjunto de A A. Con respecto a esta relacion, tendremos que:
1 3 2, 1 3 3, 3 3 2 pero 1






3 1, 2
3 1, 2
3 2, 2
3 3, 3
3 1, 3
33
Otras representaciones de las relaciones
Las relaciones, ademas de ser representadas como conjuntos de pares ordenados, se pueden representar de las siguientes maneras, que explicaremos mediante ejemplos:
sobre
sean A = {1, 2, 3} y B = {r, s}, y sean R1 = {(1, r), (1, s), (2, r), (3, s)} y R2 la relacion
A definida como sigue:
(x, y) R2 si x y donde x, y A,
Por lo que R2 = {(1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (3, 3)} . Entonces:
mediante tablas:
1. Representacion
R1
1
2
3

r
X
X

s
X
X

R2
1
2
3

1
X

2
X
X

3
X
X
X

24

Captulo 2. Teora de conjuntos

mediante diagramas:
2. Representacion

mediante matriz booleana de relacion:

3. Representacion

1 1
R1 = 1 0
0 1

1 1 1
R2 = 0 1 1
0 0 1

mediante grafos diriguidos, o

4. Solo
para relaciones binarias sobre A: representacion
digrafos.

Dominio y Rango
Definicion.
Sea R una relacion binaria de A a B.
R al conjunto formado por todos los primeros elementos
Llamaremos dominio de una relacion
de los pares ordenados que pertenecen a R, esto es,
Dom(R) = {a A\b B (a, b) R} A
e imagen o rango al conjunto formado por los segundos elementos.
Im(R) = {b B\a A (a, b) R} B
Ejemplo 2.6.4. En el ejemplo 2.6.1,
Dom(R) = {huevos, leche}
Im(R) = {gallinas, vacas, cabras}

2.6. Relaciones entre conjuntos

25

Operaciones con relaciones

Puesto que las relaciones binarias son conjuntos de pares ordenados, las nociones de
diferencia simetrica, union
y diferencia de dos relaciones se obtienen de manera
interseccion,
similar a las correspondientes para conjuntos.
Aplicando los conceptos anteriores a relaciones binarias, tenemos que si R1 y R2 son dos
relaciones binarias de A en B entonces: R1 R2 , R1 R2 , R1 R2 y R1 4 R2 son tambien
relaciones binarias de A en B.
R de manera usual:
Ademas, tambien se puede definir el complemento de una relacion
R = A B R = {(a, b) A B|(a, b)
/ R}
relacionada con las relaciones:
Incluso, tenemos una nueva definicion
Definicion.
Sea R una relacion binaria de A en B. Entonces, se define el inverso de R, denotado por
R1 , como la relacion de B en A dada por:
R1 = {(b, a) B A|(a, b) R}
Composicion
entre relaciones
Definicion.
Sean A, B y C conjuntos, y R1 una relacion de A a B, y R2 una relacion de B a C.
Se define la composicion entre R1 y R2 , que se denota por R2 R1 , como la relacion de A a C
consistente en el subconjunto de los pares (a, c) con a A y c C tal que a b y b c. Esto es,
R2 R1 = {(a, c) A C\a b y b c}
Ejemplo 2.6.5. Sea A = {1, 2, 3}, B = {1, 2, 3, 4} y C = {0, 1, 2} y sean R1 = {(1, 1), (1, 4), (2, 3),
(3, 1), (3, 4)} una relacion de A a B, y R2 = {(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)} otra relacion de B a
C. Quien es R2 R1 ?
Propiedades de las relaciones
Veamoslas:
Definicion.
Sea R una relacion binaria sobre A. Entonces,
1. se dice que R es reflexiva si todo elemento esta relacionado consigo mismo:
a a, a A
2. se dice que R es irreflexiva o no reflexiva si ningun
elemento esta relacionado consigo mismo:
a
a, a A
3. se dice que R es simetrica si se verifica que si a esta relacionado con b, entonces b esta relacionado con a:
a b, = b a
4. se dice que R es antisimetrica si se verifica que si a esta relacionado con b y b esta relacionado
con a, entonces a = b:
a b b a = a = b

26

Captulo 2. Teora de conjuntos

5. se dice que R es transitiva si se verifica que si a esta relacionado con a b y b esta relacionado
con a c, entonces a esta relacionado con a c:
a b b c = a c
Relaciones de equivalencia

Las relaciones de equivalencia son relaciones binarias definidas sobre un unico

conjunto
A, que ademas verifican una serie de propiedades especiales. Esto es:
de equiDefinicion.
Sea R una relacion binaria sobre A. Entonces, se dice que R es una relacion
valencia si es reflexiva, simetrica y transitiva.
Ejemplo 2.6.6.
1. Sea A = {1, 2, 3, 4}. Entonces, R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 3),
(3, 3), (4, 4)} es una relacion de equivalencia.
2. La relacion universal sobre cualquier conjunto A es una relacion de equivalencia.
3. La relacion vaca es una relacion de equivalencia sobre el conjunto vaco . No es, sin embargo,
una relacion de equivalencia sobre cualquier conjunto no vaco ya que no es reflexiva.
Definicion.
Sea R una relacion de equivalencia sobre un conjunto A.
Para cada a A, llamaremos clase de equivalencia de a, denotado por [a], al conjunto formado
por todos los elementos de A que estan relacionados con el. Es decir,
[a] = {x A : x a}
Observacion.
La clase de equivalencia de un elemento a nunca es vaca, ya que la reflexividad de R
implica que a [a].
Ejemplo 2.6.7. Sea A = {a, b, c, d} y R = {(a, a), (a, b), (b, a), (b, b), (c, c), (c, d), (d, c), (d, d)}.
Las clases de equivalencia son: [a] = [b] y [c] = [d], es decir, existen solo dos clases de equivalencia.
Lemma. Sea R una relacion de equivalencia sobre el conjunto A. Entonces,
(I) [a] = [b] a b.
(II) Si [a] 6= [b], entonces [a] [b] = .
En conclusion, cualquiera de los elementos que componen una clase de equivalencia puede elegirse
como representante de la misma.
Demostracion.
(I) Demostremos [a] = [b] = a b.
Hipotesis: [a] = [b].
Lo que queremos demostrar: a b.
de equivalencia, en particular es reflexiva. Por tanto:
Como R es una relacion
a a a [a]

Pero como por hipotesis

[a] = [b], podemos concluir que a [b], y as a b.
esto es, a b = [a] = [b].
Demostremos ahora la otra implicacion,
Hipotesis: a b.

2.7. Aplicaciones entre conjuntos

27

Lo que queremos demostrar: [a] = [b]. Para demostrar esto, necesitamos demostrar que
[a] [b] y [b] [a]
[a] [b] c [a] , c [b].
Por definicion,
c a. Por hipotesis

Sea c [a] cualquiera. Entonces, por definicion,

ademas a b, y
como R es transitiva, entonces se deduce que c b, esto es, c [b].
Por otro lado, [b] [a] c [b] , c [a].
c b. Por hipotesis

Sea ahora c [b] cualquiera. Entonces, por definicion,

ademas a b,
y como R es simetrica tenemos tambien que b a, por lo que por transitividad se deduce
que c a, esto es, c [a].
(II) Demostremos ahora que si [a] 6= [b], entonces [a] [b] = . Esto es equivalente a
demostrar que si [a] [b] 6= , entonces [a] = [b].
[a] [b] 6= c [a] [b] c : c [a] y c [b] c a y c b, y como R

es simetrica, esto es equivalente a que a c y c b. Por ultimo,

como R es transitiva, esto

ultimo
implica que a b. Usando el resultado (I), ya tenemos que [a] = [b].
Definicion.
Dada una relacion de equivalencia R sobre un conjunto A, llamaremos conjunto cociente, que denotaremos por A/ , al conjunto formado por todas las clases de equivalencia, esto
es,
A/ = {[a] : a A}
Ejemplos.
1. Determinar el conjunto cociente A/ siendo R la relacion de equivalencia del
ejemplo 2.6.6.1.
2. Determinar el conjunto cociente A/ siendo R la relacion de equivalencia del ejemplo 2.6.7.

2.7.

Aplicaciones entre conjuntos

pero en este caso hay un matiz importante que

Es un concepto parecido a una relacion,
de una aplicacion.
Veamos la definicion:

diferencia una relacion

Definicion.
Dados dos conjuntos A y B se dice que una correspondencia f entre los elementos de A
entre A y B, que se denota como
y de B es una aplicacion
f

: A
B
a
f (a) = b

si a cada elemento a del conjunto A corresponde un solo elemento b del conjunto B .

Observaciones. (a) Otra forma de decir que si a cada elemento a A corresponde un solo elemento
b B, es la siguiente:
si f (a) = b1 y f (a) = b2 , con a A y b1 , b2 B, entonces necesariamente b1 = b2 .
o equivalentemente,
f (a) = b1 y f (a) = b2 = b1 = b2
(b) Si f (a) = b, entonces se dice que b es la imagen de a A bajo f .

28

Captulo 2. Teora de conjuntos

(c) No es necesario que todo elemento b de B sea imagen de algun

a en A. Tampoco que todo elemento
en A tenga imagen en B, pero en caso de que un elemento en A tenga imagen en B, entonces
necesariamente este elemento tiene que ser unico.

Cosa que no ocurra con las relaciones entre

conjuntos, donde un elemento de A poda estar relacionado con mas de un elemento de B.
de va(d) Cuando A, B son subconjuntos de R, entonces la aplicacion f se pasa a llamar funcion
riable real.

2.7.1.

Dominio e imagen de una aplicacion

Definicion.
Sean A, B dos conjuntos y f : A B una aplicacion de A a B.
Se define el dominio de f , que denotaremos por Dom(f ), al conjunto formado por todos los
elementos que poseen imagen bajo f , esto es:
Dom(f ) = {a A : b B, f (a) = b} A
Definicion.
Sean A, B dos conjuntos y f : A B una aplicacion de A a B.
Se define la imagen (o recorrido o rango) de f , que denotaremos por Im(f ), al conjunto formado por todas las imagenes bajo f , esto es:
Im(f ) = {b B : a A, f (a) = b} B
Ejemplo 2.7.1. Sean A = {1, 2, 3, 4, 5}, B = {x, y, z, t, r, s} y
f (1) = s; f (2) = z; f (3) = s; f (5) = x
Entonces,
Dom(f ) = {1, 2, 3, 5} e Im(f ) = {x, z, s}

2.7.2. Algebra
de aplicaciones
Definicion.
Sean A, B dos conjuntos y f, g : A B dos aplicaciones, esto es, dos aplicaciones
definidas sobre dos mismos conjuntos. Entonces, se pueden definir las siguientes nuevas aplicaciones:
(a) Funcion
suma: f + g. Se define como la siguiente aplicacion:
f + g : R R
x
(f + g)(x) = f (x) + g(x)
opuesta a f , que denotaremos
Observese que, de forma particular, se puede definir la aplicacion
por f , como:
f : R R
x
(f )(x) = f (x)
que como caracterstica verifica que. f + (f ) = C0 , esto es, f mas su opuesta es la aplicacion
constante igual a cero.
(b) Funcion
diferencia: f g. Se define como la siguiente aplicacion:
f g : R R
x
(f g)(x) = f (x) g(x)
Observese la siguiente propiedad: f g = f + (g).

2.7. Aplicaciones entre conjuntos

29

(c) Funcion
producto: f.g. Se define como la siguiente aplicacion:
f.g : R R
x
(f.g)(x) = f (x).g(x)
inversa para el producto
De nuevo, esta definicion nos permite, a su vez, definir la aplicacion
de f , que se denota por 1/f , como:
1/f

: R R
x
(1/f )(x) = 1/f (x)

Esta aplicacion esta definida en Dom(f ) {x Dom(f ) : f (x) = 0} y verifica que f.(1/f ) =
C1 , esto es, f por su inversa es la aplicacion constante igual a 1.
(d) Funcion
cociente: f /g. Se define como la siguiente aplicacion:
f /g : R R
x
(f /g)(x) = f (x)/g(x)
Observese que f /g = f.(1/g).
Los dominios de todas estas nuevas aplicaciones vienen dados por:
dom(f g) = dom(f.g) = dom(f ) dom(g)
dom(f /g) = dom(f ) dom(g) {x : g(x) = 0} = dom(f ) dom(g) {x : g(x) 6= 0}

2.7.3.

Composicion
de aplicaciones

Sean A, B, C conjuntos y f, g dos aplicaciones definidas de la siguiente manera:

f

: C A
x
g(x)

g : A B
x
f (x)

composicion
g f de ambas (se lee f compuesto con g) como la
Se define la aplicacion

aplicacion:
g f : C B
x
g f (x) = g(f (x))

30

2.7.4.

Captulo 2. Teora de conjuntos

Clases de aplicaciones: inyectivas, sobreyectivas y biyectivas

Definicion.
Sea f : A B una aplicacion entre dos conjuntos. Entonces, se dice que f s:
(I) es inyectiva si, para cualesquiera dos elementos x, y A tales que x 6= y , entonces f (x) =
f (y)), o equivalentemente si
f (x) = f (y) = x = y.
(II) sobreyectiva si para todo y B siempre existe un x A tal que f (x) = y, esto es,
y Bx A : f (x) = y.
(III) es biyectiva si es sobreyectiva e inyectiva.

2.7. Aplicaciones entre conjuntos

31

Anexo I: trabajando con la negacion

matematica. Vamos a aprender a escribir la negacion

de P , que
Sea P una proposicion
que se denota por P (no P). La negacion
de P consiste en reescribir
sera otra proposicion
cuando no es cierto P .
Otras notaciones para P :
!P, N P, P, P .
Observese que
(P ) = P

(no es cierto que no es cierto P P es cierto)

Igualmente,
((P )) = P.
Tabla logica

para la negacion

se suele convertir en
se suele convertir en
se suele convertir en
se suele convertir en
se suele convertir en
se suele convertir en

Neguemos, no mas!

Sea U el universo y A, B U . Por definicion,

(1) A B = {x U : x A x B}
P 1 es:
Por tanto, si nuestra primera proposicion
x A B x A x B
entonces P 1 es:
x
/ A B x
/ Ax
/B
(2) A B = {x U : x A x B}
P 2 es:
Por tanto, si nuestra proposicion
x A B x A x B
entonces P 2 es:
x
/ A B x
/ Ax
/B

32

Captulo 2. Teora de conjuntos

(3) A B = {x U : x A x
/ B}
P 3 es:
Por tanto, si nuestra proposicion
x A B x A x
/B
entonces P 3 es:
x
/ A B x
/ AxB
(4) U A = {x U : x
/ A}
P 4 es:
Por tanto, si nuestra proposicion
x U A x
/A
entonces P 4 es:
x
/ U A x A
(5) A 4 B = {x U : x A B x
/ A B}
P 5 es:
Por tanto, si nuestra proposicion
x A 4 B x A B x
/ AB
entonces P 3 es:
x
/ A 4 B x
/ ABxAB

Preguntas
1. Quien es el conjunto U (U A)?
2. Que ocurre si x
/ U (U A)?
Negando con las relaciones
(1) R es reflexiva a a, a A. Entonces:
R NO es reflexiva a A : a
a.
(2) R es irreflexiva a
a, a A. Entonces:
R NO es irreflexiva a A : aa.
(3) R es simetrica si a b = b a. Entonces:
R NO es simetrica si a, b A : ab pero b
a.

2.7. Aplicaciones entre conjuntos

(4) R es transitiva si a b y b c = a c. Entonces:

R NO es transitiva si a, b, c A : ab y b c pero a
c.

33

34

Captulo 2. Teora de conjuntos

2.8.

Relaciones de ejercicios

2.8.1.

Relacion
de Ejercicios 1: conjuntos

y por comprension:
el conjunto de
1. Exprensense los siguientes conjuntos por extension

los numeros
pares y el conjunto de los numeros
impares.
2. Sean
U : el conjunto de los alumnos de la facultad de ciencias de la ingeniera
H: el conjunto de los hombres
M : el conjunto de las mujeres
C: el conjunto de los alumnos que van en coche a la universidad
a la universidad
A: el conjunto de los alumnos que van en autobus
S: el conjunto de los alumnos de Sistemas
E: el conjunto de los alumnos de Electrica
Descrbanse los siguientes conjuntos:
U M, U S, S H, H E, C S, H C, H E, M H, M A, M S, H M, E
M, A H, A S, S E, S A
3. Tiene sentido el siguiente conjunto?
A = {x U |x
/ A}
4. Si definimos A = {a, b}, son ciertas estas afirmaciones?
(a) a A

(b) a A

(c) a P (A)

(d) a P (A)

(e) {a} A

(f) {a} A

(g) {a} P (A)

(h) {a} P (A)

(i) A

(j) A

(k) P (A)

(l) P (A)

5. Siendo A, B, C conjuntos, calculese quienes son estos conjuntos, por logica

y/o usando
los diagramas de Venn:
(U A) A
(U A) A
A4A
(A (A B)) B
(A B) (A (U B))
(U (A B)) (C (U A))
[(A B) (B C)] (A C)

6. Dibujense
usando los diagramas de Venn los complementos de los siguientes conjuntos: A B, A B, A B, A 4 B

2.8. Relaciones de ejercicios

35

7. Demuestrense usando los diagramas de Venn las siguientes propiedades:

A B = A (U B)
A, B A B
A B A, B
Si B A, entonces A B = A y A B = B
A (A B) = A y A (B A) = A
es falsa:
8. Demuestrese que la siguiente afirmacion
A (B 4 C) = (A B) 4 (A C)
9. (Caracterizacion
para el complemento) Sea U el conjunto universo y A, B U . Demuetrese la siguiente equivalencia:
B es el complemento de A B A = B A = U

36

Captulo 2. Teora de conjuntos

2.8.2.

Relacion
de ejercicios 2: relaciones

1. Para A = {2, 3, 4, 5, 6, 7} y B = {10, 11, 12, 13, 14}, escribir los elementos de la relacion
R A B, donde
a b a divide (exactamente) a b
2. Sea A = {1, 2, 3, 4} y sea R = {(a, b)|a divide a b}. Cuales pares ordenados estan en
R? Que tipo de relacion
es?
dicha relacion

3. Sean las siguientes relaciones en el conjuntos de los numeros

enteros Z:
R1 = {(a, b)|a b}

R2 = {(a, b)|a > b}

R3 = {(a, b)|a = b}

R4 = {(a, b)|a = b}

R5 = {(a, b)|a = b + 1}

R6 = {(a, b)|a + b 3}

Cuales de las relaciones anteriores contienen a los siguientes pares ordenados?:

(1, 1), (1, 2), (2, 1), (1, 1) y (2, 2)
4. Sea A = {1, 2, 3, 4} y sean las siguientes relaciones sobre A:
R1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)}
R2 = {(1, 1), (1, 2), (2, 1)}
R3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}
R4 = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}
R5 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}
R6 = {(3, 4)}
Representarlas usando las otras alternativas a pares ordenados, y estudiar sus propiedades.
5. Sea A = {1, 2, 3}, B = {2, 4, 6, 8} y C = {s, t, u} y sean R1 = {(1, 2), (1, 6), (2, 4), (3, 4), (3, 6), (3, 8)}
de A a B, y R2 = {(2, u), (4, s), (4, t), (6, t), (8, u)} otra relacion
de B a C.
una relacion
Quien es R1 R2 ? y R2 R1 ? Expresarlo graficamente.
6. Sea A = {a, b, c, d}, B = {s, t, u, v} y C = {1, 2, 3, 4, 5} y sean R1 = {(a, s), (a, t), (c, v), (d, u)}
de A a B, y R2 = {(s, 2), (t, 1), (t, 4), (u, 3)} otra relacion
de B a C. Quien
una relacion
es R1 R2 ? y R2 R1 ? Expresarlo graficamente.
(a, b) (c, d) si y
7. Sea el conjunto (N {0}) N {0}) y consideremos en e l la relacion
si a + d = b + c, cualesquiera que sean (a, b) y (c, d) de (N {0}) N {0}).
solo
propuesta es de equivalencia.
a) Probar que la relacion
b) Hallar las clases de equivalencia.
c) Obtener el conjunto cociente.

2.8. Relaciones de ejercicios

37

se defina
d) Escribir el conjunto cociente que se obtiene en el caso de que la relacion
en el conjunto A A siendo A = {1, 2, 3, 4, 5}.
a b si y solo
si
8. En el conjunto A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} se considera la relacion

a b es multiplo
de 3. Probar que es de equivalencia, hallar las clases de equivalencia
y el conjunto cociente.
en A:
9. Dado A = R2 , sea R la siguiente relacion
(x1 , y1 ) (x2 , y2 ) x1 = x2
Probar que es de equivalencia, hallar las clases de equivalencia y el conjunto cociente.

10. En el conjunto A = {12, 52, 16, 17, 26, 29, 47, 35, 53} se define la relacion:
a b la suma de las cifras de a es igual a la suma de las cifras de b
Probar que es de equivalencia, hallar las clases de equivalencia y el conjunto cociente.

38

Captulo 2. Teora de conjuntos

Captulo 3

Algebra
de Boole

39


Captulo 3. Algebra
de Boole

40

utilizando los teoremas del a lgebra de Boole:

1. Simplifique la siguiente expresion
a) (A + B)C + A + B + C + D CB
0
Solucion:
b) (AB + C)(AB + CD) + C + B
A+B+C
Solucion:
c) A(A + B + C)(A + B + C)(A + B + C)(A + B + C)
A(B + C)
Solucion:
un circuito logico

2. Se desea disenar
que permita realizar la tabla de verdad mostrada.
booleana que lo caracteriza.
Encuentre la funcion
x
0
0
0
0
0
0
0
(a) 0
1
1
1
1
1
1
1
1

y
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

z
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

t
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

f (x, y, z, t)
1
0
1
0
0
0
0
0
1
0
1
0
0
0
1
1

x
0
0
0
0
0
0
0
(b) 0
1
1
1
1
1
1
1
1

y
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

z
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

t
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

f (x, y, z, t)
1
0
0
0
1
0
0
0
1
0
0
0
1
0
0
0