De manera similar, siΛ es un conjunto de indexación no vacío yA={Aα|α∈Λ} es una familia de conjuntos indexados, podemos decir que esta familia de...De manera similar, siΛ es un conjunto de indexación no vacío yA={Aα|α∈Λ} es una familia de conjuntos indexados, podemos decir que esta familia de conjuntos indexados es disjunta siempre que⋂α∈ΛAα=∅.
Esta sección contiene muchos resultados relativos a las propiedades de las operaciones de conjunto. Ya hemos probado algunos de los resultados. Otros se probarán en esta sección o en los ejercicios. E...Esta sección contiene muchos resultados relativos a las propiedades de las operaciones de conjunto. Ya hemos probado algunos de los resultados. Otros se probarán en esta sección o en los ejercicios. El propósito principal de esta sección es tener en un solo lugar muchas de las propiedades de las operaciones de conjunto que podemos usar en pruebas posteriores. Estos resultados son parte de lo que se conoce como álgebra de conjuntos o como teoría de conjuntos.
Dos expresiones son lógicamente equivalentes siempre que tengan el mismo valor de verdad para todas las combinaciones posibles de valores de verdad para todas las variables que aparecen en las dos exp...Dos expresiones son lógicamente equivalentes siempre que tengan el mismo valor de verdad para todas las combinaciones posibles de valores de verdad para todas las variables que aparecen en las dos expresiones. En este caso, escribimos X=Y y decimos que X e Y son lógicamente equivalentes.
