Símbolo 

em HT
Nome Lido como Conceito
ML
≤
Subgrupo é um subgrupo de Teoria dos grupos
≥

⇒
Implicação material Implica que; se..., então lógica proposicional
→

⇔
equivalência material se e somente se lógica proposicional
↔

≪
é de uma ordem inferior
Comparação assintótica a; é de uma ordem Teoria analítica dos números
≫ superior a

≥ Redução é redutível a Complexidade computacional

subconjunto é subconjunto de; está teoria dos conjuntos

⊆
contido

∨ disjunção lógica ou lógica proposicional

∧ conjunção lógica e lógica proposicional

⊂ subconjunto próprio é subconjunto próprio de teoria dos conjuntos

÷ ou / Divisão dividido por Aritmética

+ Adição Mais Aritmética

- Subtração Menos Aritmética

≦ ...é inferior a
≧ Relação de congruência ... é maior do que... Aritmética modular

<

é um subgrupo Teoria dos grupos

Subgrupo apropriado
adequado de
 é um subgrupo Teoria dos grupos
Subgrupo apropriado
> adequado de

≤
≥

Desigualdade É menor ou igual a; é Teoria da Ordem

maior ou igual a

= Igualdade É igual a;igual qualquer operação

≠ Inequação Não é igual a; diferente qualquer operação

< É menor que; é maior

Desigualdade Teoria da Ordem
> que
≪
enorme Desigualdade estrita é muito menor que; é Teoria da Ordem
≫
muito maior que
 Definição Aplicação

�≤� significa que ''H'' é um subgrupo de ''G''. � ≤�

A ⇒ B significa: se A for verdadeiro então B é também

verdadeiro; se A for falso então nada é dito sobre B. x = 2  ⇒  x² = 4 é verdadeiro, mas x² = 4
  ⇒  x = 2 é em geral falso (visto
que x pode ser −2)
→ pode ter o mesmo significado de ⇒, ou pode ter o significado que mencionamos mais abaixo sobre as funções

A ⇔ B significa: A é verdadeiro se B for verdadeiro e A é

x + 5 = y + 2  ⇔  x + 3 = y
falso se B é falso
f ≪ g significa que o crescimento de f é assintoticamente
delimitado por g.
(Esta é a notação de I M Vinogradov. Outra anotação é
�≪��
a notação assintótica do Big O, que se parece com f =
O(g).)

Se ∃�∈� . ∀�∈� . �∈�⇔�(�)
A ≤ B signifa que o problema A pode ser reduzido para o problema B.
∈�
( Subscritos podem ser adicionados à ≤ para indicar qual
então
tipo de redução.)
�≤��

�⊆� significa que cada elemento de A é também

elemento de B (A é um subconjunto de B). É possível (mas
Q ⊆ R
não obrigatório) que existam elementos em B que não
pertençam a A.
a proposição A ∨ B é verdadeira se A ou B (ou ambos)
forem verdadeiros; se ambos forem falsos, a proposição é n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 quando n é um número natural
falsa
a proposição A ∧ B é verdadeira se A e B foram ambos n < 4  ∧  n > 2  ⇔  n = 3 quando n é um número natural
verdadeiros; caso contrário, é falsa
�⊂� significa que cada elemento de A é também
elemento de B (A é um subconjunto próprio de B).
A ∩ B ⊂ A
Necessariamente, existe pelo menos um elemento em B
que não pertence a A.
6 ÷ 3 = 2 ou 6 ⁄ 3 = 2 significa que se dividir 6 por 3, o
100 ÷ 2 = 50
resultado é 2.
4 + 6 = 10 significa que se somar 4 a 6, a soma, ou
43 + 65 = 108; 2 + 7 = 9
resultado, é 10. que se subtrair 4 de 9, o resultado será 5.
9 - 4 = 5 significa
O sinal - é único porque também denota que um número é 36 - 5 = 31
negativo. Por exemplo, 5 + (-3) = 2 significa que se somar 36 - 55 = - 19
cinco e menos três, o resultado será dois.
7k ≡ 28 (mod 2) só é verdadeiro se k é um inteiro par.
Suponha que o problema requer k ser não-negativo, o 10a ≡ 5 (mod 5)    para 1 ≦ a ≦ 10
domínio é definido como 0 ≦ k ≦ ∞.

�<� significa que � é um subgrupo adequado de �. 4Z<Z

(Um subgrupo apropriado de um grupo G é um subgrupo H,
A<B
que é um subconjunto apropriado de G (isto é, �≠�

).)
x ≤ y significa que x é menor ou igual a y. 3≤4
x ≥ y significa que x é maior ou igual a y. 5≤5

(As formas "<=" e ">=" são geralmente utilizado em linguagens de programação, onde a facilidade de uso e de digitação de te

5≥4

6≥6

�=� significa � e � representam a mesma coisa ou o 2=2

mesmo valor
� 1+1=2
 e � 35-5=30
 são nomes diferentes para a exata mesma coisa.
�≠� significa que � e � não representam a mesma 2+2≠5
coisa ou o mesmo valor.

(As formas !=, /= ou <> são geralmente usadas em programação onde facilita a digitação e são preferidas no uso do ASCII.)
36-5≠30

x<y significa que x é menor que y. 1<2

x>y significa que x é maior que y. 4>3

�≪� significa que x é muito menor

1≪1000000
que y. �≫� significa que x é muito maior que y.
 Símbolo Nome lê-se como

¬ negação lógica não

~ a proposição ¬A é verdadeira se e só se A for falso

Uma barra colocada sobre outro operador tem o mesmo significado que "¬" colocado à sua frente
Exemplo: ¬(A ∧ B) ⇔ (¬A) ∨ (¬B); x ∉ S  ⇔  ¬(x ∈ S)
quantificação universal para todos; para qualquer; para cada
∀ ∀ x: P(x) significa: P(x) é verdadeiro para todos os x
Exemplo: ∀ n ∈ N: n² ≥ n

quantificação existencial existe

∃ ∃ x: P(x) significa: existe pelo menos um x tal que P(x) é verdadeiro
∃|x: P(x) significa: existe um único x tal que P(x) é verdadeiro
Exemplo: ∃ n ∈ N: n + 5 = 2n
Exemplo: ∃ n ∈ N: n 2+ 5 = 2n
Exemplo: ∃|x ∈ N: x + 5 = 6, pois x é único nessa situação

: definição é definido como

:⇔ x := y significa: x é definido como outro nome para y

P :⇔ Q significa: P é definido como logicamente equivalente a Q

Exemplo: cosh x := (1/2)(exp x + exp (−x)); A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)
chavetas de conjunto o conjunto de ...
{,} {a,b,c} significa: o conjunto que consiste de a, b, e c
Exemplo: N = {0,1,3....}

{ : } notação de construção

de conjuntos
o conjunto de ... tal que ...

{|} {x : P(x)} significa: o conjunto de todos os x, para os quais P(x) é verdadeiro. {x | P(x)} é o mesmo que {x : P(x

Exemplo: {n ∈ N : n² < 20} = {0,1,2,3,4}

∅ conjunto nulo conjunto vazio

{} {} significa: o conjunto sem elementos; ∅ é a mesma coisa

Exemplo: {n ∈ N : 1 < n² < 4} = {}

∈ pertença a conjunto
em; está em; é um elemento de; é um membro
de; pertence a ; existe em ,

∉ a ∈ S significa: a é um elemento do conjunto S; a ∉ S significa: a não é um elemento de S

Exemplo: (1/2)−1 ∈ N; 2−1 ∉ N

união teórica de conjuntos a união de ... com ...; união

∪ A ∪ B significa: o conjunto que contém todos os elementos de A e também todos os de B, ou seja: é a soma d
Exemplo: A ⊆ B  ⇔  A ∪ B = B
 intersecção teórica de conjuntos
intersecta com; intersecta
∩ A ∩ B significa: o conjunto que contém todos os elementos que A e B têm em comum
Exemplo: {x ∈ R : x² = 1} ∩ N = {1}

complemento teórico de conjuntos

menos; sem; excepto
\ A \ B significa: o conjunto que contém todos os elementos de A que não estão em B
Exemplo: {1,2,3,4} \ {3,4,5,6} = {1,2}

() aplicação de função; agrupamento

de

[] para a aplicação de função: f(x) significa: o valor da função f no elemento x

{} para o agrupamento: execute primeiro as operações dentro dos parênteses

Exemplo: Se f(x) := x², então f(3) = 3² = 9; (8/4)/2 = 2/2 = 1, mas 8/(4/2) = 8/2 = 4

seta de função de ... para
f:X→Y f: X → Y significa: a função f mapeia o conjunto X no conjunto Y
Exemplo: Considere a função f: Z → N definida por f(x) = x²
números naturais N
N N significa: {0,1,2,3,...}
Exemplo: {|a| : a ∈ Z} = N
números inteiros Z
Z Z significa: {...,−3,−2,−1,0,1,2,3,...}
Exemplo: {a : |a| ∈ N} = Z
números racionais Q
Q Q significa: {p/q : p,q ∈ Z, q ≠ 0}
3.14 ∈ Q; π ∉ Q
números reais R
R R significa: {limn→∞ an : ∀ n ∈ N: an ∈ Q, o limite existe}
π ∈ R; √(−1) ∉ R
números complexos C
C C significa: {a + bi : a,b ∈ R, b  ≠ 0}
i = √(−1) ∈ C
raiz quadrada a raiz quadrada principal de; raiz quadrada
√ √x significa: o número positivo, cujo quadrado é x
Exemplo: √(x²) = |x|
infinito infinito
∞ ∞ é um elemento da linha numérica estendida que é maior que qualquer número real; ocorre com frequência
Exemplo: limx→0 1/|x| = ∞
pi pi
π π significa: a razão entre a circunferência de um círculo e o seu diâmetro
Exemplo: A = πr² é a área de um círculo de raio r
factorial factorial
!
 ! n! é o produto 1×2×...×n
Exemplo: 4! = 24
valor absoluto valor absoluto de; módulo de
| | |x| significa: a distância no eixo dos reais (ou no plano complexo) entre x e zero
Exemplo: |''a'' + ''bi''| = √(a² + b²)
norma norma de; comprimento de
|| || ||x|| é a norma do elemento x de um espaço vectorial
Exemplo: ||''x''+''y''|| ≤ ||''x''|| + ||''y''||
somatório soma em ... de ... até ... de
∑ ∑k=1  ak significa: a1 + a2 + ... + an
n

Exemplo: ∑k=14 k² = 1² + 2² + 3² + 4² = 1 + 4 + 9 + 16 = 30
produtório produto em ... de ... até ... de
∏ ∏k=1  ak significa: a1a2···an
n

Exemplo: ∏k=14 (k + 2) = (1  + 2)(2 + 2)(3 + 2)(4 + 2) = 3 × 4 × 5 × 6 = 360
integração integral de ... até ... de ... em função de
∫ ∫ab f(x) dx significa: a área entre o eixo dos x e o gráfico da função f entre x = a e x = b
∫0b x² dx = b³/3; ∫x² dx = x³/3+c
derivada derivada de f; primitiva de f
f ' f '(x) é a derivada da função f no ponto x, i.e. o declive da tangente nesse ponto
exemplo: Se f(x) = x², então f '(x) = 2x

nabla rotacional de, gradiente de, divergente de

∇ ∇f (x1, …, xn) é o vector das derivadas parciais (df / dx1, …, df / dxn)
Exemplo: Se f (x,y,z) = 3xy + z² então ∇f = (3y, 3x, 2z)
 Categoria

lógica proposicional

que "¬" colocado à sua frente

lógica predicativa

lógica predicativa

todas

(A ∧ B)
teoria de conjuntos

teoria de conjuntos

rdadeiro. {x | P(x)} é o mesmo que {x : P(x)}.

teoria de conjuntos

teoria de conjuntos

ão é um elemento de S

teoria de conjuntos

ambém todos os de B, ou seja: é a soma de dois conjuntos.

 teoria de conjuntos

B têm em comum

teoria de conjuntos

não estão em B

teoria de conjuntos

mento x

ênteses

4/2) = 8/2 = 4
funções

números

números

números

números

números

números reais

números
quer número real; ocorre com frequência em limites

geometria euclidiana
metro

análise combinatória
 números
tre x e zero

análise funcional

aritmética

aritmética

360
cálculo
entre x = a e x = b

cálculo
nesse ponto

cálculo