Teoría de conjuntos (Lógica proposicional)La lógica proposicional describe las formas en que podemos combinar enunciados (también llamados proposiciones) verdaderos para producir otros enunciados verdaderos. Usualmente se consideran cinco operaciones principales de ese tipo (llamados conectivos lógicos), aunque técnicamente podemos derivarlas todas de una o dos de ellas. Un conjuntos es la reunión en un todo de objetos bien definidos y diferenciables entre sí, que se llaman elementos del mismo. Si a es un elemento del conjunto A se denota con la relación de pertenencia a Î A. En caso contrario, si a no es un elemento de A se denota aÏ A. La teoría de conjuntos es una rama de las matemáticas que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la formulación de cualquier teoría matemática. Conceptos básicos y notacionesLa teoría de conjuntos comienza con una relación binaria fundamental entre un objeto "o" y un conjunto A. Si "o" es un miembro ("o" elemento) de A, se usa la notación o ∈ A. Dado que los conjuntos son objetos, la relación de pertenencia también puede relacionar conjuntos. Una relación binaria derivada entre dos conjuntos es la relación de subconjunto, también llamada inclusión de conjuntos. Si todos los miembros del conjunto A son también miembros del conjunto B, entonces A es un subconjunto de B, denotado A ⊆ B. Por ejemplo, {1, 2} es un subconjunto de {1, 2, 3}, y así es {2} pero {1, 4} no lo es. Como insinuado de esta definición, un conjunto es un subconjunto de sí mismo. Para los casos en que esta posibilidad sea inadecuada o tenga sentido que sea rechazada, se define el término subconjunto apropiado. A se llama un subconjunto adecuado de B si y sólo si A es un subconjunto de B, pero A no es igual a B. Observe también que 1 y 2 y 3 son miembros (elementos) del conjunto {1, 2, 3} Pero no son subconjuntos, y los subconjuntos son, a su vez, no como tales miembros del conjunto. Así como la aritmética presenta operaciones binarias sobre números, la teoría de conjuntos presenta operaciones binarias en conjuntos:
Algunos conjuntos básicos de importancia central son el conjunto vacío (el conjunto único que no contiene elementos, llamado ocasionalmente el conjunto nulo aunque este nombre es ambiguo), el conjunto de números naturales y el conjunto de números reales |