1 Lgica, Conjuntos y Relaciones

En este tema se vern los conceptos bsicos necesarios del clculo proposicional,
conjuntos y relaciones para poder entender y trabajar con los lenguajes formales.

1.1 Clculo Proposicional

La lgica desempea un papel muy importante en muchos campos, como las
matemticas y la computacin. La lgica es esencial para construir y probar programas
de computadora. Sin embargo nuestro razonamiento a menudo es deficiente y puede dar
lugar a errores, por tanto es importante identificar las leyes fundamentales de las
derivaciones lgicas.

Definicin: Una proposicin es una afirmacin que se puede calificar, sin ninguna
ambigedad, como falsa o como verdadera.

Por ejemplo:

1) hoy es lunes
2) 2 es mayor que 3
3) 2+4=3
4) Mxico es una ciudad
5) Arn es alto y Elias tambin

Definicin: Al valor que toma una proposicin (verdadero, falso) se le llama valor de
verdad de la proposicin.

Las proposiciones pueden ser representadas con variables proposicionales, P,Q, R.

Solo se tienen dos constantes proposicionales verdadero (V) y falso (F)

Las proposiciones pueden estar formadas por una o ms proposiciones unidas por algn
conectivo lgico.

Definicin: Una proposicin que consta de una nica variable proposicional o una
nica constante proposicional se le denomina una proposicin atmica.

Es decir una proposicin atmica es una proposicin que no puede ser dividida en ms
proposiciones.

Todas las proposiciones no atmicas se les denomina proposiciones compuestas. Todas
las composiciones compuestas tienen por lo menos un conectivo lgico.

Definicin: Una tabla de verdad de una proposicin da los valores de verdad para todas
las posibles asignaciones.

Es posible formar proposiciones compuestas a partir de otras proposiciones utilizando
los conectivos lgicos.

Los conectivos lgicos son palabras que se utilizan para unir dos o ms proposiciones.


Negacin

El conectivo ms sencillo es la negacin que se define como sigue:

Definicin: Sea P una proposicin. La proposicin compuesta P, que se lee como no
P, es la proposicin que es verdadera si P es falsa y es falsa si P es verdadera.

Tambin se utiliza la notacin ~P, P .

La tabla de verdad para la negacin es la siguiente:

P P
V F
F V
Conjuncin

Definicin: Sean P y Q dos proposiciones. Entonces la conjuncin de P y Q que se
denota por P . Q y que se lee como P y Q, es verdadera si y solo si tanto P como Q
son verdaderas.

La tabla de verdad correspondiente a la conjuncin es la siguiente:

P Q P . Q
V V V
V F F
F V F
F F F

Disyuncin

Definicin: Sean P y Q dos proposiciones. Entonces la disyuncin de P y Q que se
denota por P v Q y que se lee como P o Q, es falsa si tanto P como Q son falsas y es
verdadera si P es verdadera o Q es verdadera o ambas son verdaderas.

La tabla de verdad correspondiente a la disyuncin es la siguiente:

P Q P v Q
V V V
V F V
F V V
F F F

Condicional

Definicin: Sean P y Q dos proposiciones. Entonces la conjuncin de P y Q que se
denota por P Q y que se lee como si P entonces Q, es falsa si P es verdadera y Q
es falsa y es verdadera en los dems casos.

La tabla de verdad correspondiente a la condicional es la siguiente:


P Q P Q
V V V
V F F
F V V
F F V

Bicondicional

Definicin: Sean P y Q dos proposiciones. Entonces la bicondicional de P y Q que se
denota por P Q y que se lee como P si y solo si Q, es verdadera si P y Q tienen el
mismo valor de verdad y falsa en caso contrario.

La tabla de verdad correspondiente a la bicondicional es la siguiente:

P Q P Q
V V V
V F F
F V F
F F V

La conexin es la nica conexin unaria, es decir que niega solo una proposicin.
Todas las dems conexiones son conexiones binarias, lo cual significa que requieren
dos proposiciones que estn unidas mediante la conexin

Existen varias formas de expresar en espaol un conectivo lgico, lo cual se resume en
la tabla siguiente:

Conectivo Lgico Expresin Equivalente
P No es el caso de P
No P
No es cierto que P
P . Q P y Q
P pero Q
P aunque Q
P v Q P o Q
Ya P ya Q ya ambas
P o Q o ambas
P Q Si P entonces Q
P solo si Q
Solo P si Q
P implica Q
Es suficiente P para que Q
Siempre que P entonces Q
Es necesario Q para que P
No P a menos que Q
A no ser que Q no P
Q si P
Q siempre que P
P Q P si y solo si Q
P cuando y solo cuando Q
P es condicin suficiente y necesaria para que Q
P equivale a Q


Reglas de prioridad

Cuando la proposicin compuesta resulta en una proposicin con varios conectivos
lgicos, es necesario el uso de parntesis para determinar el orden de evaluacin de los
conectivos o en su defecto, en lugar de parntesis, las reglas de prioridad.

La prioridad de los conectivos lgicos se da en la siguiente tabla

Prioridad mas alta


.

v


Prioridad mas baja


Nota:
Los parntesis siempre pueden romper las reglas de prioridad


Evaluacin de proposiciones compuestas

Las tablas de verdad de las proposiciones compuestas deben derivarse de los valores de
verdad de las proposiciones atmicas que la componen.

Una tabla de verdad da los valores de verdad de una expresin para todas las posibles
asignaciones de valores de verdad para las proposiciones que la componen, puesto que
cada variable proposicional puede tomar 2 valores de verdad (verdadero o falso) existen
2
N
posibles asignaciones en total para una expresin con N variables proposicionales.

Por ejemplo:
Para una sola variable proposicional, N=1 , se tienen 2
1
=2 posibles asignaciones

P
V
F

Para dos variables proposicionales, N=2 , se tienen 2
2
=4 posibles asignaciones

P Q
V V
V F
F V
F F

Para tres variables proposicionales, N=3 , se tienen 2
3
=8 posibles asignaciones

P Q R
V V V
V V F
V F V
V F F

F V V
F V F
F F V
F F F

Y as para N=4 sern 16 posibles asignaciones, para N=5 sern 32, etc.

As para calcular el valor de verdad de una proposicin compuesta se debe evaluar cada
una de las posibles asignaciones para las variables que la componen.

Por ejemplo: Tabla de verdad para (P . Q) R

P Q R Q (P . Q) R (P . Q) R
V V V F F F V
V V F F F V V
V F V V V F F
V F F V V V V
F V V F F F V
F V F F F V V
F F V V F F V
F F F V F V V


Tautologas y Contradicciones

Las tablas de verdad nos permiten clasificar a las expresiones lgicas como Tautologas,
Contradicciones o Contingencias.

Definicin: Una expresin lgica es una tautologa si es verdadera para todas las
asignaciones posibles.

Definicin: Una expresin lgica es una contradiccin si es falsa para todas las
asignaciones posibles.

Definicin: Una expresin lgica que no sea ni una tautologa ni una contradiccin se
denomina una contingencia.

Ejemplo: Demostrar que (P . Q) v Q es una tautologa

P Q P . Q (P . Q) (P . Q) v Q
V V V F V
V F F V V
F V F V V
F F F V V


Ejemplo: Demostrar que P . P es una contradiccin

P Q P . P
V F F
F V F


Definicin: Si A y B son dos expresiones lgicas y si AB es una tautologa, decimos
que A implica lgicamente a B y lo escribimos como A > B.

Definicin: Si A y B son dos expresiones lgicas y si A y B tienen siempre el mismo
valor de verdad entonces se dice que A y B son lgicamente equivalentes, lo cual
escribimos como A B. Es decir, A y B son lgicamente equivalentes si AB es una
tautologa.
Equivalencias lgicas

1. P P Ley de doble negacin

2. (P v Q) ( Q v P ) Leyes conmutativas
3. (P . Q) ( Q . P )
4. (P Q) ( Q P )

5. [( P v Q ) v R] [ P v (Q v R)] Leyes asociativas
6. [( P . Q ) . R] [ P . (Q . R)]

7. [ P v ( Q . R)] [ ( P v Q ) . ( P v R )] Leyes distributivas
8. [ P . ( Q v R)] [ ( P . Q ) v ( P . R )]

9. ( P v P ) P Leyes de dem potencia
10. ( P . P ) P

11. ( P v F ) P Leyes de identidad
12. ( P v V ) V (F = Falso; V = Verdadero)
13. ( P . F ) F
14. ( P . V ) P

15. ( P v P ) V Leyes de negacin
16. ( P . P ) F

17. ( P v Q ) ( P . Q ) Leyes de De Morgan
18. ( P . Q ) ( P v Q )

19. ( P Q ) ( Q P) Contrapositiva

20. ( P Q ) ( P v Q ) Equivalencias condicionales
21. ( P v Q ) ( P Q )
22. ( P . Q ) ( P Q )

23. ( P Q ) (( P Q ) . ( Q P )) Equivalencias
bicondicionales
24. ( P Q ) (( P . Q ) v ( P . Q ))






Cuantificadores

Definicin: Sea P(x) un enunciado que contiene la variable x y sea D un conjunto. P es
una funcin proposicional con respecto a D si para cada x en D, P(x) es una
proposicin. D es el dominio de discurso de P.

Ejemplo:
Sea P(x) la afirmacin x es un nmero par y sea D el conjunto de los nmeros
enteros positivos. Entonces P es una funcin proposicional con dominio de discurso D
ya que para cada x en D, P(x) es una proposicin.
Por ejemplo P(1)= 1 es un nmero par es falsa
P(2)= 2 es un nmero par es verdadera

Definicin: Sea P una funcin proposicional con dominio de discurso D. La afirmacin
para toda x, P(x) es una afirmacin cuantificada universalmente, la cual puede
escribirse como x, P(x).

El smbolo es un cuantificador universal y se lee como para todo o para cada.

La afirmacin para toda x, P(x) es verdadera si P(x) es verdadera para todos los
elementos en D.

La afirmacin para toda x, P(x) es falsa si P(x) es falsa para al menos un elemento en
D.


Definicin: Sea P una funcin proposicional con dominio de discurso D. La afirmacin
para alguna x, P(x) es una afirmacin cuantificada existencialmente, la cual puede
escribirse como -x, P(x).

El smbolo - es un cuantificador existencial y se lee como para algn o existe
algn.

La afirmacin para alguna x, P(x) es verdadera si P(x) es verdadera para al menos un
elemento en D.

La afirmacin para alguna x, P(x) es falsa si P(x) es falsa para todos los elementos en
D.

Definicin: La variable x en una funcin proposicional P(x) es una variable libre,
porque tiene la libertad de recorrer todo el dominio de discurso. La variable x en la
afirmacin cuantificada universalmente x, P(x) o en la afirmacin cuantificada
existencialmente -x, P(x) es una variable acotada.


Teorema: (Leyes de De Morgan generalizadas) Si P es una funcin proposicional, se
cumplen las siguientes equivalencias lgicas:
a) ) ( , ) ( , x P x x P x -
b) ) ( , ) ( , x P x x P x -




Demostracin: Supongamos que la proposicin ) ( , x P x es verdadera. Entonces la
proposicin x,P(x) es falsa. Pero la proposicin x,P(x) es falsa precisamente cuando
P(x) es falsa para al menos una x en el dominio de discurso. Pero si P(x) es falsa para al
menos una x en el dominio de discurso, ) (x P es verdadera para al menos una x en el
dominio de discurso por lo tanto la proposicin -x, ) (x P es verdadera.

Ejercicio: Demostrar lo que falta del inciso a y el inciso b.


Una funcin proposicional puede depender de mas de una variable, por ejemplo la
afirmacin P(x,y) = x es mas alto que y es una funcin que depende de dos variables x
e y.

Es posible combinar cuantificadores universales y existenciales dentro de una misma
afirmacin, por ejemplo para una funcin de dos variables P(x,y) podemos tener las
siguientes combinaciones:
1) x, y, P(x,y)
2) x, -y, P(x,y)
3) -x, y, P(x,y)
4) -x, -y, P(x,y)

En estos ejemplos tanto la variable x como y son variables acotadas, pero es posible
tener la combinacin de variables libres y acotadas dentro de la misma afirmacin, por
ejemplo en -x, P(x,y) se tiene que x es acotada mientras que y es libre.
El valor de verdad de de una proposicin de mas de una variable depende de la
combinacin de los valores para cada una de las variables involucradas.

1.2 Conjuntos y Operaciones con Conjuntos

Un conjunto es cualquier coleccin arbitraria de objetos. Si un elemento x es parte de
un conjunto A se dice que x es un elemento de A, lo cual se escribe como x e A y se lee
x pertenece a A, o x es un elemento de A, o x esta en A.

Por ejemplo, si A es el conjunto de los nmeros pares, podemos decir que 2 e A.

Cuando un elemento y no pertenece a un conjunto A lo denotamos por y e A.

Un conjunto queda completamente descrito por sus elementos. Hay dos formas de
describir un conjunto, una es enumerando los elementos del conjunto, por ejemplo
A={0,1,2,3,4,5,6,7,8,9}. Las llaves {} se utilizan para denotar un conjunto, as todos los
elementos que estn entre las llaves son los elementos del conjunto.

La otra forma es determinando la propiedad que deben cumplir los elementos del
conjunto, por ejemplo B = { x / x es un nmero par}. Esta notacin se denomina
notacin de constructor de conjunto. El smbolo / se lee como tal que.

De manera formal se tiene la siguiente definicin

Definicin: Sea P una propiedad. La extensin de P, escrita como {x / P(x)} es el
conjunto de todos los objetos x para los cuales P(x) se cumple. La notacin {x / P(x)} se
denomina notacin de constructor de conjuntos.


Los conjuntos pueden representarse grficamente mediante los diagramas propuestos
por John Venn, llamados diagramas de Venn. En un diagrama de Venn, el conjunto
universal se representa generalmente mediante un rectngulo, y el conjunto de inters
digamos A se representa mediante un circulo en el interior del rectngulo. Los
diagramas de Venn dan una representacin grfica de la forma en que los conjuntos
pueden interactuar unos con otros.

Ejemplo










Definicin: Sea A un conjunto con un nmero finito de elementos. La cardinalidad de
A denotada por |A| o por #A, es igual al nmero de elementos en A.

Definicin: El conjunto que no contiene elementos se denomina conjunto vaco y se
denota por {} o por C.

Se tiene que | C | = 0.

Definicin: Dos conjuntos A y B son iguales si tienen los mismos elementos.

Por ejemplo. A={2,4,6,8} y B={x/x es un nmero par menor que 10}

Definicin: Sean A y B dos conjuntos. A es un subconjunto del conjunto B si todo
elemento de A es tambin un elemento de B. Lo cual se representa por A_B.

Por ejemplo. Sea A = {a,b,c,d,e} y B = {a,b,c,d,e,f,g,h}, se tiene que A_B porque todo
elemento de A tambin es un elemento de B.

Nota: Se tiene que A _ A y C _ A para cualquier conjunto A.

Definicin: Sean A y B dos conjuntos. A es un subconjunto propio del conjunto B si
todo elemento de A es tambin un elemento de B y adems A=B. Lo cual se representa
por AcB.

Nota: Sean A y B dos conjuntos. Si A_B y adems B_A entonces A=B.

Operaciones con Conjuntos

Definicin: Sean A y B dos conjuntos. La interseccin de A y B, denotado por A B,
es el conjunto formado por los elementos que estn en A y estn en B.
Es decir
A B = { x / x e A . x e B}


U
A

Con diagramas de Venn











Definicin: Sean A y B dos conjuntos. La unin de A y B, denotado por A B, es el
conjunto formado por los elementos que estn en A, estn en B o estn en ambos.
Es decir
A B = { x / x e A v x e B}

Con diagramas de Venn












Definicin: Sean A y B dos conjuntos. La diferencia de A y B, denotado por A B, es
el conjunto formado por los elementos que estn en A, pero que no estn en B.
Es decir
A B = { x / x e A . x e B}

Con diagramas de Venn











Definicin: Sea A un conjunto. El complemento de A, denotado por A ( ~A, A), es el
conjunto formado por los elementos que no estn en A.
Es decir
A = { x / x e A}


A B
A B
A B

Con diagramas de Venn











Identidades Bsicas de Conjuntos

lgebra de Conjuntos Nombre
U A A =
C = A A
Ley de complementacin
Ley de exclusin
A U A =
A A = C
Leyes de identidad
U U A =
C = C A
Leyes de dominacin
A A A =
A A A =
Leyes de idempotencia
A A =
Ley de doble complementacin
A B B A =
A B B A =
Leyes de conmutatividad
) ( ) ( C B A C B A =
) ( ) ( C B A C B A =
Leyes de asociatividad
) ( ) ( ) ( C A B A C B A =
) ( ) ( ) ( C A B A C B A =
Leyes de distributividad
B A B A = ) (
B A B A = ) (
Leyes de De Morgan


Conjunto Potencia

Definicin: Sea A un conjunto. El conjunto de todos los subconjuntos de A se llama el
conjunto potencia de A y se denota por 2
A
, (o P(A)).

Ejemplo:
Si A = {a, b, c} entonces 2
A
={C,{a},{b},{c},{a,b},{a,c},{b,c}{a,b,c}}

Teorema: Sea A un conjunto. Si #A = n entonces #P(A)

= 2
n
.

Producto Cartesiano

Definicin: Sean A y B dos conjuntos cualesquiera. El conjunto de todos los pares
ordenados (x, y) tales que el primer elemento del par, x, es un elemento de A y el
segundo elemento, y, es un elemento de B, se llama producto cartesiano de A y B, y se
denota como A B.
A


Es decir
A B = { (x, y) / x e A . y e B}

Ejemplo:

A={a,b,c} y B={1,2}
A B = { (a,1), (a,2), (b,1), (b,2), (c,1), (c,2) }


Teorema: Sean A y B dos conjuntos cualesquiera tales que #A = n y #B = m entonces
#(A B) = n * m.
1.3 Relaciones y Operaciones con Relaciones
Definicin: Sean A y B dos conjuntos. Una relacin de A en B es cualquier conjunto R
de pares (x,y), tal que, xeA e yeB. Si (x,y)eR diremos que x es R-relacionado con y, lo
cual tambin se denota por xRy. Para expresar que R es una relacin de A en B,
escribimos R:AB.

Como se puede ver de la definicin anterior, una relacin es siempre un subconjunto del
producto cartesiano AB. De hecho AB es en si mismo una relacin, denominada la
relacin universal. Es decir la relacin universal es la relacin que contiene todos los
pares posibles. El opuesto de la relacin universal es la relacin vaca, que es la
relacin que no contiene ningn par.

Ejemplo:

Sean X,Y,U y V los siguientes conjuntos: X={a,b,c} , Y={A,B,C}, U={a,b} , V={B.C}.
Se tiene que
XY={ (a,A),(a,B),(a,C),(b,A),(b,B),(b,C),(c,A),(c,B),(c,C)}
UV={(a,B),(a,C),(b,B),(b,C)}


Podemos definir dos relaciones R:XY y S: UV como
R={(a,A),(a,B),(b,C)}
S={(a,B),(a,C)}
Podemos notar que R y S son subconjuntos de las relaciones universales XY y UV
respectivamente.
Adems se tiene que
aRA, ya que el par (a,A)eR
o que
aSB, ya que el par (a,B)eS

y de la misma manera para los dems pares que pertenecen a R o a S.

Pero como el par (b,C) no pertenece a S, podemos decir que b no esta S-relacionado con
C lo cual denotamos por (b,C)eS o por bSC.
Dominios y Rangos

Cuando R:AB es una relacin, A se denomina el espacio de dominio y B se denomina
el espacio de rango.

Definicin: Sea R una relacin de X a Y. El Dominio de R abreviado por dom(R), es el
conjunto de todos los elementos xeX que aparecen en, al menos, un par (x,y)eR. Esto
puede expresarse como dom(R)={x | -y ((x,y)eR)}

Definicin: Sea R una relacin de X a Y. El Rango de R abreviado por ran(R), es el
conjunto de todos los elementos yeY que aparecen en, al menos, un par (x,y)eR. Esto
puede expresarse como ran(R)={y | -x ((x,y)eR)}

Ejemplo:
Sea R:AB una relacin, donde A={a,b,c,d,e}, B={1,2,3} y R={(a,1),(a,2),(b,1),(d,2)}
Entonces dom(R)={a,b,d} y ran(R)={1,2}

Definicin: Sea A un conjunto y sea R una relacin de A en A. Entonces se dice que R
es una relacin sobre A.

Por ejemplo la relacin < que incluye todos los pares (x,y) tales que x<y es una
relacin sobre los nmeros reales.

Operaciones con Relaciones

Dado que una relacin es un conjunto de pares ordenados, las operaciones con
conjuntos tambin se pueden aplicar a las relaciones.

Definicin: Si R:XY es una relacin, entonces la relacin inversa R
-1
:YX se
define como el conjunto de pares (y,x) tales que el par (x,y)eR, esto es, R
-
1
={(y,x)|(x,y)eR}, es decir, xRy y R
-1
x.

Definicin: Sean R y S dos relaciones, entonces RS define una relacin tal que
x(RS)y xRy . xSy, es decir, (x,y)e(RS) (x,y)eR . (x,y)eS

De la misma manera RS es una relacin tal que x(RS)y xRy v xSy, es decir
(x,y)e(RS) (x,y)eR v (x,y)eS

Adems x(RS)y xRy . xSy, es decir, (x,y)e(RS) (x,y)eR . (x,y)eS
y x(~R)y xRy, es decir, (x,y)e(~R) (x,y) eR


Ejemplo:

Sean R:XY y S: UV dos relaciones. Los espacios de dominio son X={a,b,c},
U={a,b}, y los espacios de rango son Y={A,B,C} y V={B,C}. Adems
R={(a,A),(a,B),(b,C)} y S={(a,B),(b,C)}
Calcular R
-1
, ~S, RS, RS, R-S

1) R:X Y, R
-1
:YX

R
-1
= {(A,a),(B,a),(C,b)}

2) UxV={(a,B),(a,C),(b,B),(b,C)}

x(~S)y= x$y

~S={(b,B),(b,C)}

3) RS={(a,B)}

4) RS={(a,A),(a,B),(a,C),(b,C)}

5) R-S={(a,A),(b,C)}

Representacin de Relaciones

Las relaciones se pueden representar por medio de matrices, en donde las columnas se
etiquetan como los elementos del dominio y los renglones como los elementos del
rango.

Los elementos de la matriz tendrn un 1 en la posicin (i,j) si el elemento i esta
relacionado con el elemento j de otra forma tiene un cero.



Ejemplo:



R= S=



R={(1,2),(2,2),(3,4)} S={(1,3),(2,5),(3,1),(4,2)}


Una relacin R:AA se denomina una relacin sobre el conjunto A. Estas relaciones se
pueden representar, como una grfica (grafo) de manera que cada elemento de A se
representa por un nodo y dos nodos x, y estarn conectados por un arco dirigido si
(x,y)eR.


1 2 3 4 5
1 0 1 0 0 0
2 0 1 0 0 0
3 0 0 0 1 0
4 0 0 0 0 0
5 0 0 0 0 0

1 2 3 4 5
1 0 0 1 0 0
2 0 0 0 0 1
3 1 0 0 0 0
4 0 1 0 0 0
5 0 0 0 0 0



Por ejemplo considere la relacin s en el conjunto A={1,2,3,4}
(x,y)eR si x s y


R = {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,3),(3,4),(4,4)}











Figura 1

Composicin de Relaciones

Definicin: Sean R: XY y S:Y Z dos relaciones la composicin de R y S que
denota como RS contienen los pares (x,z) si y solo si existe un objeto intermedio y tal
que (x,y) esta en R y (y,z) esta en S, es decir, x(RS )z y (xRy ^ y Sz)


La composicin de relaciones se puede representar grficamente como en la figura 5.2:












Figura 5.2: Composicin de Relaciones.
Ejemplo:

Se puede definir una relacin tia de que se puede ver como una composicin de las
relaciones hermana de y padre de

H= hermana de
P= Padre de

x es tia de z x Hy= x es hermana de y ^ yPz = x es padre de z
entonces xTz= x es tia de z donde T= HP
RS
x y z
R S
xRy ySz
X
Y
Z
1 2
3 4



Las composicin de dos relaciones R y S se puede encontrar realizando la
multiplicacin (booleana) de las matrices que representan a las relaciones R y S.

En la multiplicacin booleana la operacin suma (+) se sustituye por (or) y la
multiplicacin (*) se sustituye por (and).


Por ejemplo:
R= {(a,b),(a,c),(b,d)}
S= {(a,a),(b,d),(c,d)}

R,S: A A, donde A={a,b,c,d}

RS={(a,d)}



R= S= RS=




Propiedades de las Relaciones.

Definicin: Una relacin R sobre X es reflexiva si para xeX el par (x,x) eR. Esto
significa que R es reflexiva x (xRx).

Definicin: Una relacin R sobre X es no reflexiva (antirreflexiva) si para xeX el par
(x,x) eR. Esto significa que no existe un xeX tal que xRx.


Ejemplo

Sea S: AA donde A={1,2,3,4}

S=s , es decir, (x,y)eS si y solo si x s y

S={(1,1),(1,2),(2,2),(1,3),(3,3),(1,4),(4,4),(2,3),(2,4),(3,4)} se puede notar que S es
reflexiva


Sea R: AA donde A={1,2,3,4}

R=< , es decir, (x,y)eR si y solo si x < y

R={(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)} se puede notar que R es no reflexiva




a b c d
a 0 1 1 0
b 0 0 0 0
c 0 0 0 1
d 0 0 0 0

a b c d
a 1 0 0 0
b 0 0 0 1
c 0 0 0 1
d 0 0 0 0

a b c d
a 0 0 0 1
b 0 0 0 0
c 0 0 0 0
d 0 0 0 0


Utilizando Matrices se tendra que:





Es reflexiva. No es reflexiva





Ninguna de las dos

Definicin: Una relacin R sobre un conjunto X es simtrica si para todo x e y que
pertenecen a X, si xRy implica que yRx. Esto es R es simtrica xy (xRy yRx).

Definicin: Una relacin R sobre un conjunto X es antisimtrica si para todo x=y que
pertenecen a X, xRy excluye que yRx. En otras palabras, si xRy y adems yRx entonces
x=y.
Por consiguiente R es antisimtrica xy (xRy . yRx x = y ).

Ejemplo:

La relacin R=hermano de es una relacin simtrica ya que si xRy, es decir x es
hermano de y, entonces tambin se da que yRx, es decir que y es hermano de x.

Sin embargo la relacin S=madre de es una relacin antisimtrica ya que si xSy, es
decir, si x es madre de y, excluye que ySx, es decir que y sea madre de x.

Utilizando Matrices se tendra que:







Es simtrica Es antisimtrica






Ninguna de las dos

Definicin: Una relacin R sobre X es transitiva si, para todo x, y, z en X, siempre que
xRy e yRz, entonces xRz. Esto es R es transitiva xyz (xRy . yRz xRz ).

Por ejemplo la relacin R=es mas alto que es una relacin transitiva, ya que si x es
mas alto que y e y es mas alto que z, inmediatamente concluimos que x es mas alto
que z, es decir si xRy . yRz entonces xRz.
1 0 0
0 1 0
0 0 1

0 0 0
1 0 1
0 1 0

1 0 0
0 1 1
0 0 0

1 0 1
0 1 0
1 0 0

0 0 1
0 1 0
0 1 0

1 0 1
0 0 0
1 1 1



Cierres

Definicin: El cierre reflexivo R
(r)
de una relacin R es la relacin reflexiva mas
pequea que contiene a R como subconjunto.

Definicin: El cierre simtrico R
(S)
de una relacin R es la relacin simtrica mas
pequea que contiene a R como subconjunto.

Definicin: El cierre transitivo R
(t)
de una relacin R es la relacin transitiva mas
pequea que contiene a R como subconjunto.

En otras palabras para obtener el cierre reflexivo, simtrico o transitivo se aaden tan
pocos elementos como sea posible para hacer a la relacin reflexiva, simtrica o
transitiva.

Ejemplo:

El cierre reflexivo de la relacin < (menor que) sobre los reales.

3 < 4 3 R4
3 3 3R3
R = < , R:

R= { (x,y) | x < y } es decir (1,2)eR 1 < 2

R = { (x,y) | x = y } es decir (2,2)eR 2 = 2


Se forma agregando a la relacin todos los pares (x,x) es decir la relacin = (igual
que).

Por lo que el cierre reflexivo de la relacin < es la unin de < y = es decir la relacion s.
En general se tiene que R
(r)
= R I
A
, donde I
A
es la relacin identidad sobre el conjunto
A.



+ =



Si A={a,b,c} se tiene que si R = {(a,b)(b,a)(b,c)(c,a)(c,b)} y I
A
= {(a,a)(b,b)(c,c)}
entonces

R
(r)
= R I
A
={(a,a) (a,b)(b,a)(b,b)(b,c)(c,a)(c,b)(c,c)}

Para que una relacin sea simtrica si el par (x,y)eR entonces el par (y,x) debe
pertenecer tambin a R.

Si la relacin R tiene todo los pares (x,y) para cualquier x e y la relacin R
-1
tiene todos
0 1 0
1 0 1
1 0 0

1 0 0
0 1 0
0 0 1

1 1 0
1 1 1
1 1 1


los pares (y,x) para cualquier y y x por lo que R
(s)
= R R
-1
.

Es decir que el cierre simtrico de la relacin < es la relacin por que

Si R=< entonces R
-1
= > y se tiene que R R
-1
= < > =

Ejemplo:

R={(1,2)(3,4)(2,3)(1,4)}
R
-1
={(2,1)(4,3)(3,2)(4,1)}

R R
-1
={(1,2)(3,4)(2,3)(1,4)(2,1)(4,3)(3,2)(4,1)}

R R
-1
={ (x,y) | x y }

La relacin R
(t)
tiene todos los pares (x,y) tales que se puede ir de x a y directamente o a
travs de uno o mas intermediarios. Por lo que el cierre transitivo se puede calcular de la
siguiente manera R
(t)
=RR
2
R
3
R
m


Donde m es el nmero de elementos del dominio.

Relaciones de Equivalencia.

Definicin: Una relacin R es una relacin de equivalencia si y solo si, es reflexiva,
simtrica y transitiva.

Ejemplo:

Sea R: la relacin que asocia x con y, si x e y tienen el mismo resto si se divide
por 3, en otras palabras si x mod 3 = y mod 3

Por lo tanto podemos decir que 1 R 4 es verdadero ya que 1 mod 3 = 1 y 4 mod 3=1.

sin embargo 4 R 5 es falso ya que 4 mod 3 = 1 y 5 mod 3 = 2

Definicin: Sea [x] el conjunto de todos los elementos que estn relacionados con x, es
decir, [x]={y | xRy}, o en otras palabras, y e [x] xRy. Si R es una relacin de
equivalencia a [x] se le llama clase de equivalencia.

Del ejemplo anterior podemos formar las siguientes clases: El conjunto de todos los
elementos que tienen como resto el mismo que 4 mod 3=1 se puede escribir como [4].

Tambien 1 mod 3 = 1 se puede definir como [1], se puede ver que [4]=[1]
[4] = {1,4,7,10,}
[1] = {1,4,7,10,}

Esto produce

[0]={0,3,6,9,12}
[1]={1,4,7,10}
[2]={2,5,8,11,}


Se puede observar que los 3 conjuntos [0],[1],[2] incluyen todos los elementos de la
relacin y que todo nmero natural esta en exactamente uno de estos 3 conjuntos, por lo
que estos 3 conjuntos forman una particin.

Definicin: Una particin de un conjunto S es la divisin del conjunto en subconjuntos
A
i
, i=1,2,,3,,n llamados bloques tal que cada elemento de S estn en exactamente
uno de los bloques.
={[0][1][2]}


ejemplo: Sean S={a,b,c,d}

{{a,b}{c},{d}} es una particin.

{{a,b}{c,d}{d}} no es una particin por que b pertenece a 2 subconjuntos.

{{a,b}{c}} no es una particin porque d no pertenece a algn subconjunto.

El resultado principal de esta seccin es que toda relacin de equivalencia induce una
particin y toda particin induce una relacin de equivalencia. Esto se expresa en el
siguiente teorema:

Teorema: Sea R:SS una relacin de equivalencia y sea [x] el conjunto que contiene
todos los elementos y que estan realcionados con x, es decir, [x] = {x | xRy}. Entonces
el conjunto {[x] | x e S} es una particin.

Por otra parte, si {A
i
, i=1,2,,m} es una particin, entonces se puede definir la relacin
P que contiene (x,y) si y solo si x e y estn en el mismo bloque. En este caso P es una
relacin de equivalencia.

Los bloques generados por una relacin de equivalencia sobre S se denominan clases de
equivalencia. Por lo tanto toda relacin de equivalencia particiona a S en clases de
equivalencia. Dos elementos x e y estn relacionados si y solo si ellos pertenecen a la
misma clase de equivalencia.

Ejemplo:
Sea R la siguiente relacin de equivalencia sobre el conjunto A={1,2,3,4,5,6}
R={(1,1),(1,5),(2,2),(2,3),(2,6),(3,2),(3,3),(3,6),(4,4),(5,1),(5,5),(6,2),(6,3),(6,6)}
Encontrar la particin de A inducida por R.

Solucin:
El problema se reduce a encontrar las clases de equivalencia inducidas por R
[1]={1,5}
[2]={2,3,6}
[4]={4}

entonces {{1,5},{2,3,6},{4}} es la particin de A inducida por R.