Lista de símbolos

≡ material bicondicional; leia "se e somente se"

⊃ material condicional; leia "se ... então …"

¬ negação; leia "não"

∧ conjunção; Leia “e"

V disjunção; leia "ou" (inclusive)

| negação alternativa ("golpe de Sheffer"); leia "não ambos ... e …"

∀ quantificador universal; Leia “todo"

∃ quantificador existencial; leia "alguns" (há pelo menos um)

⇒ condicional na metalinguagem

x∈A x é um membro de A

s1 ⊆ s2 s1 é um subconjunto de s2

∅ conjunto vazio

≤, ≥ menor ou igual a, maior que ou igual a

<a, b> ordenou o par de a e b

= idêntico, 'igual a' em contextos matemáticos

≠ 'Não idêntico (separado)’ 'não é igual' em contextos matemáticos

xoy x se sobrepõe a y

x∫y x é discreto em relação a y (x não se sobrepõe a y)

x<y x faz parte de y

x << y x é parte apropriada de y

x+y (mereológica ou aritmética) soma de x e y

ız o (único) z, é tal que