Logica Matematica Unidad 4

FACULTAD DE CIENCIAS HUMANAS Y BELLAS ARTES
PROGRAMA CIENCIA DE LA INFORMACIÓN Y LA DOCUMENTACIÓN,

BIBLIOTECOLOGÍA Y ARCHIVÍSTICA
UNIDAD 4
RELACIONES Y FUNCIONES BINARIAS
LÓGICA MATEMÁTICA
Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

Diego Fernando Martínez Ceballos – Ingeniero en Sistemas.
UNIDAD 4
RELACIONES Y FUNCIONES BINARIAS
INTRODUCCIÓN
Relacionar elementos de conjuntos es usual en el lenguaje matemático, se

encuentras proposiciones como “Adán es el padr4e de Caín” y “True es más
débil que False” en general esta clase de afirmaciones es la que tiene
predicados como lenguaje formal correspondiente.
En otras palabras, una relación es una afirmación sobre elementos de conjuntos

que se expresa como un predicado y, por tanto ser o no verdadera. La
formalización de esta idea resulta muy sencilla cuando una relación se identifica
con un subconjuntode un producto cartesiano. Las relaciones binarias que
relacionan dos elementos son especialmente interesantes y quizás más las
relaciones binarias de un mismo conjuntos.
Muchachos de esta forma podemos dar incio a la Unidad 4 donde se van a

abordar temas relacionados con las relaciones y funciones binarias.
COMPTENCIA GENERAL
El programa CIDBA, busca formar profesionales competentes desde una

perspectiva teórica práctica que mediante el manejo de elementos básicos y
conceptos lógicos le permitan ampliar su capacidad de análisis ante cualquier
situación que se presente.

COMPTENCIA ESPECÍFICA
a. Competencias Instrumentales
o Capacidad de análisis y síntesis.

o Conocimientos generales básicos
o Capacidad de Organizar y Planificar
b. Competencias Interpersonales
o Habilidades interpersonales
o Trabajo en equipo
o Compromiso ético
c. Competencias Sistémicas
o Capacidad de aplicar los conocimientos en la práctica.

o Habilidades de investigación.
o Capacidad de adaptarse a nuevas situaciones
o Habilidad para trabajar de forma autónoma.
OBJETIVO GENERAL
Desarrollar habilidad lógica matemática para formalizar los requerimientos de las

soluciones de información que den respuesta a las necesidades de una
organización
OBJETIVOS ESPECÍFICOS
 Comprender y aplicar los conceptos fundamentales de la teoría de

conjuntos en la ciencia de la información.
 Entender los principios de las operaciones de la lógica proposicional para
darle aplicación en la ciencia de la información.
 Razonar bajo los principios de la lógica de predicados bajo los
requerimientos de la ciencia de la información.
 Comprender la teoría de las relaciones y funciones desde el punto de vista
del profesional de ciencia de la información.
CONTENIDOS
 Conceptos Básicos
 Relaciones Binarias
 Propiedades
 Funciones Binarias.
Conceptos Básicos
Dados dos conjuntos A y B, y dado R ⊆ A × B, podemos pensar en R como una

relación que asocia elementos de A con elementos de B. Más precisamente,
podemos decir que a ∈ A se relaciona con b ∈ B si (a, b) ∈ R. Podr´ıamos decir
entonces que una relación de A en B es un subconjunto de A × B, pero para
evitar ambigüedades, vamos a dar una definición más precisa.
Definición 1.1 Dados dos conjuntos A y B, una relación binaria de A en B es

una tripleta R = (A, B, R), donde R ⊆ A × B. Al conjunto A se le llama el conjunto
de salida de la relación, a B se le llama el conjunto de llegada, y a R el gráfico
de la misma.
Cuando a se relaciona con b bajo la relación R, escribimos aRb. En caso

contrario escribimos aR/ b
Ejemplo 1.1 Sean
A = {1, 2, 3} , B = {a, b} , R = {(1, a),(1, b),(2, a),(3, b)} ⊆ A × B.
Tenemos entonces que 1Ra, 1Rb, 2Ra, 3Rb. Además 2R/ b y 3R/ a.
Ejemplo 1.2 Sean
A = B = N, R = {(n, 2n) : n ∈ N} ⊆ N × N.
Entonces 1R2, 2R4, 3R6, y en general nR2n.

Ejemplo 1.3 Sea
A = N, B = {0, 1} , R = {(n, 0) : n es par} ∪ {(n, 1) : n es impar} .
Entonces 2R0, 1R1, 3R1, 4R0, etc.
En la práctica se piensa una relación como una ley que asocia elementos de A
con elementos de B. De hecho, la manera más común de definir una relación
es dando expl´ıcitamente esa ley. Para ilustrar esto, observe que la relación del
ejemplo 1.2 se puede describir como:
nRm ⇔ m = 2n
En el ejemplo 1.3 podemos definir nRp ⇔ n + p es par, o también podemos decir

que nRp sii p es el resto que se obtiene al dividir n por 2 (tenga presente en este
ejemplo que p ∈ {0, 1}).
PAR ORDENADO (PO)
Se llama Par Ordenado o dupla cuyo símbolo es (x y) al conjunto cuyos

elementos son a su vez otros dos conjuntos :
1.- el conjunto {x y} que es un par simple
2.- el conjunto {x} de un único elemento
Def: (x y) := { {x y} {x} }
(x y) : Par Ordenado (PO)
x : Primer elemento del PO (Primera componente del PO)
y : Segundo elemento del PO (Segunda componente del PO)
Obs 1: PO es un par de conjuntos (es un Conjunto de Conjuntos) donde {x y} ∈

(x y)
Obs 2: La igualdad de PO es la de Conjuntos Obs
3: Primer y segundo elemento es una forma de llamar a las componentes del PO,
porque los números todavía no están definidos. Justamente el concepto de
número se definen a partir del PO.

PRODUCTO CARTESIANO (PC)
Dado 2 conjuntos A y B se llama Producto Cartesiano de A por B (en ese orden),

cuyo símbolo es AxB, al conjunto de todos los pares ordenados (x y) tales que
su primera componente x pertenece a A y la segunda y pertenece a B.
Def: AxB := { (x y): x∈A ∧ y∈B }
AxB : Producto Cartesiano de A por B
A : Primer Conjunto del Producto Cartesiano o Conjunto de Partida
B : Segundo Conjunto del Producto Cartesiano o Conjunto de Llegada
Ejemplo 1:
Relaciones Binarias:
Son relaciones elemento a elemento entre los elementos de un mismo conjunto.

Dados dos elementos a y b pertenecientes ambos al conjunto A, para expresar
que a está relacionado con b escribiremos a R b, que se lee “a está relacionado
con b”. Así, pues, una relación binaria es una correspondencia entre los
elementos de un mismo conjunto.

La diferencia entre aplicaciones y relaciones binarias está en que las
aplicaciones son correspondencias de elementos entre distintos conjuntos y las
relaciones binarias, correspondencias entre los elementos de un mismo
conjunto.
Una relación binaria se puede representar mediante:
a) Diagrama de Venn
Dado el conjunto A = {a, b, c, d} la relación que aparece en el diagrama de

Venn indica que: el elemento a está relacionado consigo mismo; el elemento b
está relacionado con el c y el c lo está con el d.
b) Conjunto de pares
Según esta forma de expresión, la relación binaria del diagrama de Venn

anterior sería:
R = {(a, a), (b, c), (c, d)}
c) Diagramas cartesianos

La expresión matemática de una relación binaria es:
x R y C
En efecto, si se forma el producto cartesiano de un conjunto consigo mismo

(C C) una relación binaria será un subconjunto K formado por varios pares,
pertenecientes todos ellos al producto cartesiano C C. K es un subconjunto de
C C.
Propiedades de una relacion Binaria:
Reflexiba o idéntica
Se dice que una relación binaria tiene la propiedad reflexiva cuando todos los
elementos del conjunto en el que esta definida la relación se relacionan consigo
mismos. Es decir, que:
xRx C
que se lee: “Para todo x, siendo x perteneciente al conjunto C, x esta

relacionado con x, si y sólo si el par (x, x) pertenece al subconjunto K que está
contenido en el producto cartesiano C C”.
Obsérvese que si una relación es reflexiva, cada

elemento lleva un
Ejemplo: Sea el conjunto:
C = {1, 2, 3, 4}

Un conjunto participa de la propiedad reflexiva si y sólo si todos sus elementos
están relacionados consigo mismos.
Por ejemplo, si en un conjunto de números enteros establecemos la relación

binaria "ser de la misma paridad que", esta relación tiene la propiedad reflexiva.
En cambio la relación a R b si y sólo si a + b = ab, sólo es reflexiva para el 2 y el

0.
Se considera la relación “ser igual a”. Dicha relación tiene la propiedad reflexiva,
porque todos los elementos del conjunto están relacionados consigo mismos, ya
que:
1=1 1R1
2=2 2R2
3=3 3R3
4=4 4R4
Si expresamos esta relación mediante un diagrama de Venn se tendría:
Un conjunto con relaciones entre sus elementos se llama un relativo. Un conjunto

con operaciones entre sus elementos recibe, según algunos, la denominación de
un álgebra. Tanto las álgebras como los relativos son estructuras. Una estructura
es, en suma, un conjunto sobre el que se han definido ciertas relaciones y ciertas
leyes de composición, interna o no. Ejemplos particulares de estructuras son las
de grupo, anillo, cuerpo y otros conceptos matemáticos.
Antirefexiva
Se dice que una relación binaria tiene la propiedad antirreflexiva cuando ningún
elemento está relacionado consigo mismo.

Ejemplo: En el conjunto D = {1, 2, 3} la relación representada por el gráfico de
flechas cumple con esta propiedad, puesto que ningún elemento está
relacionado consigo mismo.
En el conjunto C = {a, b, c, d} representado a la derecha, la relación R = {(a, a),

(b, c)} no cumple con la propiedad antirreflexiva, ya que el elemento a está
relacionado consigo mismo.
Esta relación (al igual que las restantes), por estar contenida en un producto
cartesiano de dos conjuntos, puede también representarse así:
En una relación binaria (conjunto de pares ordenados de elementos) entre dos

conjuntos, o en el producto cartesiano de un conjunto consigo mismo, se
denomina dominio de la relación al conjunto de todos los primeros miembros de
los pares ordenados que constituyen la relación; se llama imagen de la relación
al conjunto de todos los segundos miembros de los pares ordenados que
constituyen la relación.

Propiedad Simetrica
Se dice que una relación binaria tiene la propiedad simétrica, dados dos
elementos x e y cualesquiera, pertenecientes al conjunto en el que se ha definido
la relación, cuando cumple que si el elemento x está relacionado con el y,
entonces el y está relacionado con el x. Es decir, que:
x, y, si xRy  yRx  (x, y)  K  (y, x)  K, KC  C
En resumen, si x se relaciona con y e y se relaciona con x, siendo x e y

elementos cualesquiera de un conjunto C en el que se ha definido la relación se
cumple esta propiedad. Obsérvese que si hay una flecha hay también otra
.
Ejemplo 1: La relación R definida en:
C = {a, b, c, d}
R = {(a, a),(b, b),(c, c),(d, d),(c, a),(c, d),(d, c)}
no cumple la propiedad simétrica pues el elemento c está relacionado con el a

y el a no lo está con el c Por el contrario, esta relación sí cumple la propiedad
reflexiva:
Un ejemplo de relación no numérica que tiene la propiedad simétrica es la de

pertenencía: siempre se cumple que si x es del mismo conjunto que y entonces
y es del mismo conjunto que x.
Propiedad Antisimetrica
Si consideramos el conjunto de todas las personas, observamos que la relación

´ser hermano deª tiene la propiedad antisimétrica, y no la simétrica, puesto que,
si Pablo es hermano de María, María no es hermano de Pablo, sino hermana.
De otro modo: x R y &&& y R x,o bien (x, y) = (y, x)

Se dice que una relación binaria tiene la propiedad antisimétrica si dados dos
elementos x e y cualesquiera, pertenecientes al conjunto en el que se ha definido
la relación, y distintos entre sí, se cumple que si x está relacionado con y,
entonces y no está relacionado con x.
Es decir,
Aquí aparecen las flechas en un sentido pero no en el inverso. R- significa “no

esta relacionada con”.
Ejemplo: En el conjunto de los números naturales (enteros y positivos) se

considera la relación “ser múltiplo de”.
Según esta relación, el 4 estaría relacionado con el 2, puesto que 4 es múltiplo

de 2, el 6 estaría relacionado con el 3, etc... Pero el hecho de que el 6 esté
relacionado con el 3 no quiere decir que el 3 esté relacionado con el 6. En efecto,
el 3 no está relacionado con el 6, ya que 3 no es múltiplo de 6. Luego se cumple
que:
si 4 R 2 => 2R4
que se lee “si el 4 está relacionado con el 2, el 2 no está relacionado con el 4”.
6 R 3 => 3 R 6, etc.
En consecuencia, esta relación R “ser múltiplo de” cumple la propiedad

antisimétrica.
Debe tenerse en cuenta que la propiedad antisimétrica no es la contraria de la

simétrica. Como se ha visto, ambas propiedades responden a ideas distintas. Lo
único que se puede afirmar, en relación a ambas, es que si una relación tiene la
propiedad antisimétrica, seguro que no cumple la simétrica y viceversa; es decir,
que una relación no puede a la vez satisfacer ambas propiedades.
Consideremos un partido de fútbol entre dos equipos. Cada jugador recibe el

marcaje de otro jugador del equipo contrario y a la inversa. Si establecemos la
relación "marcar a", ésta no tiene porqué ser necesariamente simétrica. En el
caso de que Pedro marcara a Juan y Juan marcara a Felipe (y así
sucesivamente) nos encontraríamos ante una relación antisimétrica
Propiedad Transitiva
Se dice que una relación binaria tiene la propiedad transitiva, cuando dados tres
elementos x, y, z cualesquiera, pertenecientes al conjunto en el que se ha
definido la relación, se cumple que si el elemento x está relacionado con el y, y
el elemento y está relacionado con el z, entonces el elemento x está relacionado
con el z. Es decir, se cumple que:
Una relación R en un conjunto S es transitiva si para todo x, y y z de S, siempre

que x R y y y R z, se tiene x R z.
que se lee del modo siguiente: “para todo x, y, z pertenecientes al conjunto C, si

x está relacionado con y e y está relacionado con z, implica que x está
relacionado con z, es decir, que si los pares ordenados (x, y) e (y, z) pertenecen
al subconjunto K del producto cartesiano C C, que constituye la relación,
entonces el par ordenado (x, z) también pertenece a dicho subconjunto K.
Obsérvese que si se representa mediante un diagrama de Venn una relación

binaria que cumpla esta propiedad transitiva, aparece una flecha (señalada en el
gráfico con doble trazo) a modo de camino directo entre dos elementos.

Ejemplo 1: En el conjunto de las rectas de un plano se define la relación R “ser
paralela a”.
Dicha relación goza de la propiedad transitiva, ya que si elegimos tres rectas

al azar, de entre las rectas del plano, s1, s2, s3 y se cumple que si s1 es paralela
a s2, y a su vez s2 es paralela a s3, necesariamente s1 deberá ser paralela a s3.
Ejemplo 2: En el conjunto de los triángulos se considera la relación: “ser

semejante a...” Dicha relación goza de la propiedad transitiva. En efecto, si el
triángulo t1, elegido al azar entre el conjunto de los triángulos, es semejante al
triángulo t2 (por tener los ángulos iguales y los lados proporcionales) y a su vez
el triángulo es semejante al triángulo t 3, necesariamente el triángulo t1 es
semejante al t3; luego esta relación en este conjunto goza de la propiedad
transitiva:
El símbolo  significa “ser semejante a...”.
El símbolo  (aún no usado) significa: “ser aproximadamente igual a...”.

Ejemplo 3: En el conjunto C = {a, b, c, d} se considera la relación binaria
definida por el siguiente subconjunto K  C  C:
R = K = {(a, b), (a, c), (b, c), (a, d)}

(1) (2) (3)
Esta relación R tiene la propiedad transitiva ya que a está relacionado con b

(1), b está relacionado con c (2), y también a está relacionado con c (3).
A continuación se expone un resumen de identificación de las distintas

propiedades de las relaciones en cuanto a su representación en diagramas de
Venn:
– Propiedad reflexiva
Cada elemento presenta un bucle
– Propiedad simétrica
La relación tiene las flechas siempre por pares o de la forma
– Propiedad transitiva
La relación tiene una flecha de a a b, otra de b a c, y otra flecha de a a c.
– Propiedad antirreflexiva
Nunca hay
– Propiedad antisimétrica
Nunca hay
– Propiedad antitransitiva
Nunca hay

En un conjunto X, cualquiera que éste sea, si aplicamos a los elementos la
relación de pertenencia a ese conjunto, se observarán siempre las propiedades
simétrica, reflexiva y transitiva.
Relacion de equivalencia
propiedades siguientes: reflexiva, simétrica y transitiva. Haciendo uso del

lenguaje matemático se tendría:
1.º) a C  a  a  propiedad reflexiva que se lee: “para todo elemento

perteneciente al conjunto C en el que se ha definido la relación binaria se cumple
que a está relacionado con a.
2.º)  a,  b, a,b  C, si a  b  b  a, propiedad simétrica, que se lee: “para todo

elemento a y para todo elemento b, ambos pertenecientes al conjunto C en el
que se ha definido la relación binaria, si se cumple que a está relacionado con b,
entonces b está relacionado con a.
El concepto de relación de equivalencia está implicitamente ligado a todo el

desarrollo de la matemática, pues es fundamental en cualquier proceso de
abstracción. La igualdad, las congruencias en el conjunto de los números
enteros, el paralelismo de rectas o planos son relaciones de equivalencia-
3.º)  a,  b,  c, a, b, c  C, si a  b  b  c  a  c, propiedad transitiva que se

lee: “para todos los elementos a, b, c, siendo a, b, c pertenecientes al conjunto
C en el que se ha definido la relación binaria, si a está relacionado con b y b lo
está con c, entonces necesariamente a está relacionado con c.
Ejemplo: En el conjunto de las rectas del plano C se considera la relación

“ser paralela a...”.

Como puede observarse en el gráfico, cualquier recta del plano es paralela a
sí misma; luego se cumple la propiedad reflexiva, que dice:
r, r  C, r  r
Además, si una recta r1 es paralela a otra r2, necesariamente r2 es paralela a

r1, luego se cumple la propiedad simétrica:
r1, r2, r1, r2  C

si r1  r2  r2  r1
Por último, si una recta del plano r1 es paralela a otra r2 y esta última es paralela
a una tercera r3, entonces necesariamente r1 es paralela a r3, luego se cumple la
propiedad transitiva:
r1 r2 r3, r1, r2, r3  C

si r1  r2  r2  r3 
 r1  r3
Clase de equivalencia
Dada una relación de equivalencia entre los elementos de un conjunto C, se

denomina clase de equivalencia a cada uno de los posibles subconjuntos de C
formados por elementos relacionados entre sí.
Es usual representar cada clase de equivalencia por uno de los elementos

pertenecientes a dicha clase.
Así, por ejemplo, si en el conjunto de las palabras de una página de un libro se

define la relación R “empezar con la misma letra del alfabeto”, el conjunto de las
palabras que comenzarán con la letra m formarán una clase de equivalencia que
podría denominarse la clase {{modo}}, suponiendo que se eligiera esta palabra
como representante de la clase. Lógicamente, los restantes elementos de la
clase {{modo}} estarían relacionados con esta palabra.

Si se considera en el conjunto C del gráfico anterior la relación “ser paralela
a”, se observa que existen 2 grupos diferenciados de rectas.
Uno de ellos formados por rectas paralelas a r 1, que constituyen una clase de
equivalencia que podría denominarse {{r1}}.
El otro grupo, formado por rectas paralelas a r 2, constituye asimismo una clase
de equivalencia que podría denominarse {{r 2}}. Si se hubiera considerado todas
las rectas del plano, las clases de equivalencia serían infinitas.
Conjunto cociente
Se denomina conjunto cociente al conjunto formado por todas las clases de

equivalencia que resultan en un conjunto C cuando se establece en él una
relación de equivalencia ´.
Se representa de manera abreviada por:
donde C C significa producto cartesiano de C C y ´ representa la relación de

equivalencia definida en el conjunto. En el ejemplo del apartado anterior el
conjunto cociente sería:
= {{{r1}, {r2}}}
Es decir, estaría únicamente formado por las clases de equivalencia {{r 1}} y
{{r2}}, ya que estas dos son las únicas clases existentes.

Relacion de Orden
Existen distintos tipos de relaciones de orden, atendiendo, por un lado, a las

propiedades que cumplen y, por otro, a los elementos que están relacionados.
Se dice que una relación binaria es de orden amplio cuando cumple las
propiedades reflexiva, antisimétrica y transitiva.
Si únicamente cumple las propiedades antisimétrica y transitiva, se dice que

es de orden estricto.
En cuanto a los elementos que se relacionan entre sí, una relación es de orden
total cuando todos los elementos del conjunto se relacionan entre sí, lo que se
traduce en un diagrama lineal, como se verá más adelante.
Se dice que una relación es de orden parcial cuando sólo algunos de los
elementos se relacionan entre sí. Esta relación se expresa mediante un diagrama
ramificado.
Ejemplo: En el conjunto de los números N se considera la relación “ser menor o igual

que” (el símbolo de menor o igual es  donde , significa menor y  significa menor o
igual:
Comprobamos que se trata de una relación de orden amplio total. En efecto,

es de orden amplio porque cumple las tres propiedades: reflexiva, antisimétrica
y transitiva.
1) reflexiva, ya que cada número es igual a sí mismo:
1=1
6=6
9=9
23 = 23
etc...

2) antisimétrica, ya que si un número a es menor que otro b, el segundo es
forzosamente mayor que el primero, luego si:
aRb  b R a
a,  b, a, b  N
1  6 => 6  1
3) transitiva, ya que si un número a es menor que otro b y este número b es

menor que otro c, forzosamente a es menor que c luego:
aRb  bRc  aRc

 a,  b,  c, a, b, c  N
que se lee si a está relacionado con b y b está relacionado con c, entonces a

está relacionado con c, siendo a, b, c números cualesquiera pertenecientes al
conjunto N de los números. Así:
16
19
69
Esta relación «ser menor o igual» es además de orden total, ya que todos los
elementos (los números l, 6, 9, 23 en este caso) se pueden colocar de modo que
estén ordenados por esta relación.
En efecto:
1 , 6 , 9 , 23; además, y como resulta lógico por tratarse de una relación de

orden total, el diagrama de representación es lineal.
Representacion grafica de un conjunto Ordenado
Se denomina conjunto ordenado a todo conjunto en el que se haya definido una

relación de orden. Por tratarse de relaciones binarias, que en el fondo no son
sino correspondencias de un conjunto consigo mismo, se pueden representar las
relaciones de orden mediante algunas de las formas ya conocidas empleadas
para la representación gráfica de correspondencias.

Así, en el conjunto A = {2, 3, 4, 5, 6}, si se considera la relación de orden «ser
mayor que», es fácil representar la relación de orden definida en A mediante un
diagrama cartesiano o uno de Venn (sagital). El grafo de la relación será:
G = {(3,2) (4,3) (4,2) (5,4) (5,3) (5,2) (6,5) (6,4) (6,3) (6,2)}.
Mediante un diagrama de Venn:
Dos tipos de representación cartesiana:
Obsérvese que en dicho ejemplo el conjunto C está formado por 6 elementos,

mientras que el conjunto cociente únicamente consta de dos.
La noción de conjunto cociente se utiliza mucho en la práctica para clasificar

los elementos de un conjunto.

Funcion
Se entiende por función toda aplicación entre conjuntos numéricos. En este caso
el conjunto original coincide con el inicial y el conjunto imagen con el final. La
expresión matemática es f(x) =y.
En toda función los elementos del conjunto imagen siempre proceden de algún
elemento del conjunto original. Es decir, que el conjunto imagen está formado
por elementos y que cumplen estas dos condiciones:
1ª)B
2ª) x, xA/ f(x) = y
Ejemplo: En el conjunto de los números naturales menores de 5 se establece la

siguiente correspondencia: “a cada número se le hace corresponder su cuadrado
(f(x)= y = x2)”.
Dicha correspondencia es una aplicación, ya que a cada elemento del conjunto

original (x) le corresponde uno y uno sólo del conjunto imagen (y), siendo y una
determinada función de x. El grafo G de esta aplicación sería:
G = {(1,1), (2,4), (3,9), (4,16)}
Los conjuntos original e imagen serían respectivamente:
A = {1, 2, 3, 4} y B = {1, 4, 9, 16}
En este caso, puesto que la correspondencia es una aplicación y los

conjuntos original e imagen son numéricos, se trata de una función:

Función característica
Se llama función característica de un conjunto B a la función f, que es una

aplicación de un conjunto A que contiene al conjunto B sobre el conjunto {0,1},
estando definida f de la siguiente manera:
A => {0,1}
 x  x B => f (x) = 1
 x  x B => f (x) = 0
Estas condiciones pueden representarse del siguiente modo:
Es decir, que f es tal que hace corresponder a todo elemento del conjunto B el
elemento 1, y a todo elemento de A, que no pertenezca a B, el elemento 0.
Se recuerda que los elementos de A que no pertenecen a B constituyen el

conjunto complementario de B en A, que se representa: C AB o bien B’.
Ejemplo: Sea una función g tal que A {0,1} y g(x) = 1–f(x) (f(x) es la función
característica). Se cumple que:
 x, x  CAB  x / B  f(x) = 0
(por ser f(x) una función característica) como g(x) = 1-f(x), sustituyendo: g(x) =
1-0 =1.
También por ser f(x) una función característica se cumplirá lo siguiente:
 x, x / CAB  xB  f(x) = 1
Sustituyendo este valor de f(x) en g(x)=1-f(x), tendremos g(x) = 1-1=0.

Si f(x) es una función característica de B  A, la función
g(x)= 1-f(x) es una función característica de CAB, es decir, del complementario
de B en A. La representación gráfica de
g(x)= 1-f(x) será:.
Funcion inversa F-1
La noción de función inversa es idéntica a la de correspondencia inversa, es

decir, es una función en la que se toman los elementos del conjunto final como
originales y los del conjunto inicial como imágenes. Debe recordarse que por la
denominación función, los conjuntos inicial y final son conjuntos numéricos, y
que si se llaman elementos x a los del conjunto original e y a los del conjunto
imagen, la aplicación función inversa hará corresponder un elemento x a cada
uno de los elementos y. En resumen, la expresión de una función inversa será
del tipo f–1 (y) = x.
Ejemplo: Para hallar la función inversa de
3x+5
y=
2
se despeja primero la x de la expresión anterior:
3x + 5 = 2y
3x = 2y – 5
2y-5
x= x = f(y) (1)
3
Como paso final, y dado que la función inversa es también una función se
cambia la x por la y, y la y por la x de manera que resulte una expresión del tipo
y = f(x), con lo que resultaría
y = 2x-5
3
que se obtiene de la expresión (1) sin más que cambiar la x por la y, y la y por la
x.
Hemos estudiado hasta el momento relaciones de pertenencia (elemento-

conjunto) y relaciones de inclusión (conjunto-conjunto). Se entrará seguidamente
en el estudio de las relaciones binarias elemento-elemento R (dentro de los
elementos de un conjunto).
CRONOGRAMA DE ACTIVIDADES Y EVALUACIÓN
 Tarea 4: Logica de predicados
Descargue el Archivo de Word que se encuentra en la plataforma y resuelva

cada uno de los ejercicios que se encuentran en el Taller, el archivo se habilita
en la plataforma el 21 de Noviembre de 2016 y debe ser subido a la
plataforma entre el 23 al 28 de Noviembre de 2016.
bibliografia
https://cursos.virtual.uniandes.edu.co/isis1104/wp-
content/uploads/sites/79/2015/11/v5_6_relaciones_y_funciones.pdf
http://es.slideshare.net/EnyelJox/relaciones-binarias-28923479
http://es.slideshare.net/terfer/propiedades-relaciones-binarias
http://es.slideshare.net/santamariareina/relaciones-binarias-8638829


Logica Matematica Unidad 4

Cargado por

Información del documentohacer clic para expandir la información del documento

Copyright:

Formatos disponibles

Logica Matematica Unidad 4

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Matematica Unidad 4

Cargado por

Copyright:

Formatos disponibles

FACULTAD DE CIENCIAS HUMANAS Y BELLAS ARTES

PROGRAMA CIENCIA DE LA INFORMACIÓN Y LA DOCUMENTACIÓN,

Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

Relacionar elementos de conjuntos es usual en el lenguaje matemático, se

En otras palabras, una relación es una afirmación sobre elementos de conjuntos

Muchachos de esta forma podemos dar incio a la Unidad 4 donde se van a

El programa CIDBA, busca formar profesionales competentes desde una

Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

o Capacidad de análisis y síntesis.

o Capacidad de aplicar los conocimientos en la práctica.

Desarrollar habilidad lógica matemática para formalizar los requerimientos de las

 Comprender y aplicar los conceptos fundamentales de la teoría de

Dados dos conjuntos A y B, y dado R ⊆ A × B, podemos pensar en R como una

Definici´on 1.1 Dados dos conjuntos A y B, una relaci´on binaria de A en B es

Cuando a se relaciona con b bajo la relaci´on R, escribimos aRb. En caso

Ejemplo 1.1 Sean

A = {1, 2, 3} , B = {a, b} , R = {(1, a),(1, b),(2, a),(3, b)} ⊆ A × B.

Ejemplo 1.2 Sean

Entonces 1R2, 2R4, 3R6, y en general nR2n.

Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

A = N, B = {0, 1} , R = {(n, 0) : n es par} ∪ {(n, 1) : n es impar} .

Entonces 2R0, 1R1, 3R1, 4R0, etc.

En el ejemplo 1.3 podemos definir nRp ⇔ n + p es par, o también podemos decir

PAR ORDENADO (PO)

Se llama Par Ordenado o dupla cuyo símbolo es (x y) al conjunto cuyos

1.- el conjunto {x y} que es un par simple

2.- el conjunto {x} de un único elemento

(x y) : Par Ordenado (PO)

x : Primer elemento del PO (Primera componente del PO)

y : Segundo elemento del PO (Segunda componente del PO)

Obs 1: PO es un par de conjuntos (es un Conjunto de Conjuntos) donde {x y} ∈

Obs 2: La igualdad de PO es la de Conjuntos Obs

Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

Dado 2 conjuntos A y B se llama Producto Cartesiano de A por B (en ese orden),

Def: AxB := { (x y): x∈A ∧ y∈B }

AxB : Producto Cartesiano de A por B

A : Primer Conjunto del Producto Cartesiano o Conjunto de Partida

B : Segundo Conjunto del Producto Cartesiano o Conjunto de Llegada

Son relaciones elemento a elemento entre los elementos de un mismo conjunto.

Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

Una relación binaria se puede representar mediante:

Dado el conjunto A = {a, b, c, d} la relación que aparece en el diagrama de

Según esta forma de expresión, la relación binaria del diagrama de Venn

R = {(a, a), (b, c), (c, d)}

Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

En efecto, si se forma el producto cartesiano de un conjunto consigo mismo

Propiedades de una relacion Binaria:

que se lee: “Para todo x, siendo x perteneciente al conjunto C, x esta

Obsérvese que si una relación es reflexiva, cada

Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

Por ejemplo, si en un conjunto de números enteros establecemos la relación

En cambio la relación a R b si y sólo si a + b = ab, sólo es reflexiva para el 2 y el

Si expresamos esta relación mediante un diagrama de Venn se tendría:

Un conjunto con relaciones entre sus elementos se llama un relativo. Un conjunto

Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

En el conjunto C = {a, b, c, d} representado a la derecha, la relación R = {(a, a),

En una relación binaria (conjunto de pares ordenados de elementos) entre dos

Unidad 4: Relaciones y Funciones Binarias – LOGICA MATEMATICA

x, y, si xRy  yRx  (x, y)  K  (y, x)  K, KC  C