Se sabe que si p es una proposición, ¬p también lo es. Es posible formar la proposición ¬(¬p), es decir, la negación de la negación, o doble negación.
El equivalente de la doble negación en la teoría de conjuntos es ''el complemento del complemento''. Y así como, si p es verdadero entonces ¬(¬p) también lo es, en la teoría de conjuntos se cumple que (A')' = A, es decir, el complemento del complemento de un conjunto dado, es el mismo conjunto.
La Lógica y la Teoría de Conjuntos
Cantor define conjunto como una colección determinada de diversos objetos reales o imaginarios, y que se denominan elementos del conjunto. ...
