Conjuntos e Lógica

∀Para todoCopiado ∃ExisteCopiado ∄Não existeCopiado ∅Conjunto vazioCopiado ∈PertenceCopiado ∉Não pertenceCopiado ∋Contém como elementoCopiado ∌Não contémCopiado ⊂Subconjunto próprioCopiado ⊃Superconjunto próprioCopiado ⊆Subconjunto ou igualCopiado ⊇Superconjunto ou igualCopiado ⊄Não é subconjuntoCopiado ⊅Não é superconjuntoCopiado ∪UniãoCopiado ∩InterseçãoCopiado ∖Diferença de conjuntosCopiado ⊎União disjuntaCopiado ⊍União com somaCopiado ℘Conjunto potênciaCopiado ¬NegaçãoCopiado ∧E lógico (conjunção)Copiado ∨Ou lógico (disjunção)Copiado ⊻Ou exclusivo lógicoCopiado ⊼NAND (não-e)Copiado ⊽NOR (não-ou)Copiado →ImplicaCopiado ↔Se e somente seCopiado ⇒Implica (dupla seta)Copiado ⇔Equivalente (dupla seta)Copiado ⊤Verdadeiro / topoCopiado ⊥Falso / perpendicularCopiado ⊢Prova / demonstraCopiado ⊨Satisfaz / modelaCopiado ∴PortantoCopiado ∵PorqueCopiado □Necessariamente (modal)Copiado ◇Possivelmente (modal)Copiado ∎Fim de demonstraçãoCopiado ℕConjunto dos naturaisCopiado ℤConjunto dos inteirosCopiado ℚConjunto dos racionaisCopiado ℝConjunto dos reaisCopiado ℂConjunto dos complexosCopiado 𝔽Corpo (field) genéricoCopiado ∁Complemento de conjuntoCopiado ≺PrecedeCopiado ≻SucedeCopiado ⪯Precede ou igualCopiado ⪰Sucede ou igualCopiado ⊑Subconjunto (ordem)Copiado ⊒Superconjunto (ordem)Copiado