Dadas dos proposiciones p y q, se dice que p equivale a q, y se escribe p ⇔ q, si la proposición p implica a la proposición q, y la proposición q implica a la proposición p. Esta relación entre p y q se conoce también como la doble implicación.
En la teoría de conjuntos, la relación equivalente es la igualdad de conjuntos. Dados dos conjuntos A y B, se dice que estos son iguales si todo elemento de A es también un elemento de B y viceversa, todo elemento de B es también un elemento de A.
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. ...
