LENGUAJE DE LA TEORIA DE CONJUNTOS

La Teoria de conjuntos es una rama de la logica matematica que estudia las propiedades y
relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en si
mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la
formulacion de cualquier teoria.

Sus simbolos son:

¬ (negación)
∧ (conjunción)
∨ (disyunción)
→ (implicación)
↔ (equivalencia)
∀ (cuantificador universal)
∃ (cuantificador existencial)
(, ) (paréntesis)

Se dice que un conjunto es una coleccion de objetos. Se puede entender que el conjunto
esta constituido por una multiplicidad de objetos, y estos a la vez se consideran una
unidad.

ALGEBRA DE CONJUNTOS
En matematicas, algebra de conjuntos es el estudio de las operaciones basicas que
pueden realizar con conjuntos, como la union, interseccion y complementacion.

RELACIONES ENTRE LOS CONJUNTOS

Las relaciones de conjuntos sucede cuando existen ciertos conjuntos que tienen algo en
comun y que cumplen una propiedad especifica en comun y que cumplen una propiedad
especifica en comun o como tambien puede ser por el numero de elementos que pueden
tener los conjuntos que queremos comprar

CONJUNTO VACIO

El conjunto vacio es el que no posee elemento alguno. Puesto que lo unico que define a
un conjunto es la propiedad que sastifacen sus elementos, el conjunto vacio es unico.
TEOREMAS

Es una formula bien formada que puede ser demostrada dentro de un sistema formal,
partiendo de axiomas u otros teoremas.

PRODUCTO CARTESIANO
El producto cartesiano de dos conjuntos es una operacion, que resulta en otro conjunto,
cuyos elementos son todos los pares ordenados que pueden formarse de forma que el
primer elemento del par ordenado pertenezca al primer conjunto y el segundo elemento
pertenezca al segundo conjunto.

RELACION BINARIA
Es el subconjunto de los elementos del producto cartesiano.

RELACION INVERSA
Es la relacion que aparece cuando el orden de los elementos es intercabiado en la
relacion.

RELACIONES EQUIVALENCIA
En un conjunto es una relacion reflexiva, simetrica y transitiva en el mismo. Una relacion
de orden en un conjunto es una relacion reflexiva, antisimetrica y transitiva en el mismo.

GRAN UNION Y GRAN INTERSECCION

Definiciones
Gran unión. [A = {x | ∃A (A ∈ A ∧ x ∈ A)} . La gran unión del conjunto A está formado
por los objetos que son elementos de algún elemento de A.
Gran intersección. \A = {x | ∀A (A ∈ A → x ∈ A)} . La gran intersección del conjunto A
está formado por los objetos que son elementos de todos los elemento de A.

ALGEBRAS DE BOOLE
Un algebra de Boole es un conjunto parcialmente ordenado (B,_) que verifica las siguientes
condiciones: (i) B tiene un primer elemento denotado con 0 y un ´ultimo elemento denotado con 1,
esto es: si x 2 B, entonces 0 _ x y x _ 1. (ii) Todo par de elementos x, y de B admite supremo x _ y e
´ýnfimo x ^ y.(iii) Para todo x 2 B, existe y 2 B tal que x _ y = 1 y x ^ y = 0. (iv) Si x, y, z 2 B,
entonces x ^ (y _ z) = (x ^ y) _ (x ^ z).