Os principais símbolos lógicos utilizados na Teoria dos Conjuntos são:

/ (significa: tal que),  ∃ (significa: existe ao menos um),

 ∃∣ (significa: existe um único), ∄ (significa: não existe), ∀ (significa: qualquer que seja ou para todo), ⇒ (significa: implica), ⇔ (significa: equivalente).

                Estes símbolos simplificam a linguagem matemática e a universaliza.