Es transitiva

Si a es mayor que b, y b es

mayor que c, entonces, a es
mayor que c

Una relación es equivalente El siguiente conjunto demuestra

si es una relación que es que es reflexivo, simétrico y
reflexiva, simétrica y transitivo por lo que significa: A
transitiva. Sea A = {1,2,3,4} demostrar A ~A
Normalmente una relación ~ A R = {(1,1),(2,2),(3,3), (1,2),(2,3),(1,3),(2,1),
equivalente se representa con (3,2) (3,1)}
el símbolo ~.

Si R= {(1, 3), A~ B : esto significa que A es equivalente a B

(2,2), (2, 3), Es anti
(2,4), (4,3)} simétrica Ejemplo
Entonces…

Esta nueva notación se reformula la definición de

equivalencia: Diagrama utilizado para la simplificación de funciones
Definición algebraicas Booleanas, permitiendo de manera gráfica
1) R Es reflexiva: ∀ x □ X, x ~ x reconocer patrones y así reduce la necesidad de hacer
2) R Es simétrica : x ~ y □ y ~ x cálculos extensos para la simplificación de expresiones
3) R Es transitiva : x ~ y ˄ y ~ z □ x ~ z. booleanas.

Minitermino Se llama minitermino al producto de todas las

variables de entrada o su negado. Para encontrar los
miniterminos se necesita tener una tabla de verdad como la
siguiente, o por lo menos la salida (S)
Mapas de karnaugh
Maxitermino Se le llama maxitermino a la suma de todas las variables
Relación es de entrada o su negado. Para encontrar los maxiterminos al
Es simétrica
equivalente igual que los miniterminos se necesita tener una tabla de
verdad como la siguiente, o por lo menos la salida (S).

Dado el conjunto A={a,b,c} y la Relación

R={(a,a),(b,b),(c,c),(a,b),(b,a)}
comprobamos que SI es Simétrica.

Variables
Ejemplos Esquema o
Mapa conceptual sobre las diferentes Formato
relaciones entre conjuntos.
Si la relación R = { (a,a),
(b,b), (c,c)} establecida en el
conjunto A = {a, b, c} es una
relación reflexiva ya que
todos los elementos de A
están relacionados consigo
mismos
éste último con un tercero, entonces el
Es reflexiva primero se relaciona con el tercero. Anti simétrica

Transitiva

Siempre que un
elemento se relaciona con otro y
Definiciones Reflexiva c ue todos los elementos
e de un conjunto están
D relacionados con si mismo R es
i q reflexiva si para todo x ∈ A, el par (x,x) ∈ R
SSimétrica
Sólo cuando cumplen
la propiedad simétrica Si un elemento está
los pares de elementos relacionado con otro, éste
iguales y no la segundo también está
cumplen los pares relacionado con el primero
formados por distintos R es simétrica si siempre
elementos. que un par (x,y) ∈ R, el par
(y,x) también pertenece a R