Propiedades algebraicas

Álgebra de conjuntos

El álgebra de conjuntos tal como la de proposiciones es un sistema axiomático consistente, completo e independiente; se utiliza básicamente para demostrar la igualdad entre conjuntos o construir y simplificar conjuntos complejos y siempre que tengan determinadas propiedades.

Signos lógicos. Corresponde a los conectivos que se trataron en el capítulo de lógica proposicional y cuantificacional, son ellos:

Signos específicos. Estos signos también se reconocen como signos de relación en la teoría de conjuntos y se utilizan tres:

Letras. Se usan letras mayúsculas y minúsculas con o sin índices y subíndices.

Signos de agrupación. Se usan paréntesis “(” y “)”, además, las llaves “{” y “}”.

Postulados del álgebra de conjuntos

Leyes del álgebra de conjuntos