Pgina 1 de 9

SMBOLOS MATEMTICOS
Smbolo
Nome l-se como Categoria
+
adio mais aritmtica
4 + 6 = 10 significa que se se somar 4 a 6, a soma, ou resultado, 10.
Exemplo: 43 + 65 = 108; 2 + 7 = 9
-
subtrao menos aritmtica
9 - 4 = 5 significa que se se subtrair 4 de 9, o resultado ser 5. O sinal -
nico porque tambm denota que um nmero negativo. Por exemplo, 5
+ (-3) = 2 significa que se se somar cinco e menos trs, o resultado ser
dois.
Exemplo: 87 - 36 = 51


implicao material implica; se ... ento
lgica
proposicional
A B significa: se A for verdadeiro ento B tambm verdadeiro; se A
for falso ento nada dito sobre B.
pode ter o mesmo significado de , ou pode ter o significado que
mencionamos mais abaixo sobre as funes
x = 2 x = 4 verdadeiro, mas x = 4 x = 2 em geral falso (visto
que x pode ser 2)


equivalncia material se e s se; sse
lgica
proposicional
A B significa: A verdadeiro se B for verdadeiro e A falso se B

Pgina 2 de 9

falso
x + 5 = y + 2 x + 3 = y

conjuno lgica e
lgica
proposicional
a proposio A B verdadeira se A e B foram ambos verdadeiros; caso
contrrio, falsa
Exemplo: n < 4 n > 2 n = 3 quando n um nmero natural

disjuno lgica ou
lgica
proposicional
a proposio A B verdadeira se A ou B (ou ambos) forem verdadeiros;
se ambos forem falsos, a proposio falsa
Exemplo: n 4 n 2 n 3 quando n um nmero natural

/
negao lgica no
lgica
proposicional
a proposio 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)

quantificao universal
para todos; para qualquer;
para cada
lgica predicativa
x: P(x) significa: P(x) verdadeiro para todos os x

Pgina 3 de 9

Exemplo: n N: n n

quantificao
existencial
existe lgica predicativa
x: P(x) significa: existe pelo menos um x tal que P(x) verdadeiro
Exemplo: n N: n + 5 = 2n
=
igualdade igual a todas
x = y significa: x e y so nomes diferentes para a exata mesma coisa
Exemplo: 1 + 2 = 6 3
:=
:
definio definido como todas
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 ...
teoria de
conjuntos
{a,b,c} significa: o conjunto que consiste de a, b, e c
Exemplo: N = {0,1,2,...}
{ : }
notao de construo
de conjuntos
o conjunto de ... tal que ...
teoria de
conjuntos

Pgina 4 de 9

{ | }
{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 vazio conjunto vazio
teoria de
conjuntos
{} significa: o conjunto sem elementos; a mesma coisa
Exemplo: {n N : 1 < n < 4} = {}


pertena a conjunto
em; est em; um
elemento de; um
membro de; pertence a
teoria de
conjuntos
a S significa: a um elemento do conjunto S; a S significa: a no
um elemento de S
Exemplo: (1/2)
1
N; 2
1
N


subconjunto
um subconjunto
[prprio] de
teoria de
conjuntos
Exemplo: A B significa: cada elemento de A tambm elemento de B
(A um subconjunto de B)
A B significa: A B mas A B (A um subconjunto prprio de B)
Exemplo: A B A; Q R

unio terica de
conjuntos
a unio de ... com ...; unio
teoria de
conjuntos
A B significa: o conjunto que contm todos os elementos de A e

Pgina 5 de 9

tambm todos os de B, mas mais nenhuns
Exemplo: A B A B = B

interseco terica de
conjuntos
intersecta com; intersecta
teoria de
conjuntos
A B significa: o conjunto que contm todos os elementos que A e B tm
em comum
Exemplo: {x R : x = 1} N = {1}
\
complemento terico de
conjuntos
menos; sem
teoria de
conjuntos
A \ B significa: o conjunto que contm todos os elementos de A que no
esto em B
Exemplo: {1,2,3,4} \ {3,4,5,6} = {1,2}
( )
[ ]
{ }
aplicao de funo;
agrupamento
de
teoria de
conjuntos
para a aplicao de funo: f(x) significa: o valor da funo f no elemento
x
para o agrupamento: execute primeiro as operaes dentro dos parnteses
Exemplo: Se f(x) := x, ento f(3) = 3 = 9; (8/4)/2 = 2/2 = 1, mas
8/(4/2) = 8/2 = 4
f:XY
seta de funo de ... para funes
f: X Y significa: a funo f mapeia o conjunto X no conjunto Y

Pgina 6 de 9

Exemplo: Considere a funo f: Z N definida por f(x) = x
N
nmeros naturais N nmeros
N significa: {0,1,2,3,...}
Exemplo: {|a| : a Z} = N
Z
nmeros inteiros Z nmeros
Z significa: {...,3,2,1,0,1,2,3,...}
Exemplo: {a : |a| N} = Z
Q
nmeros racionais Q nmeros
Q significa: {p/q : p,q Z, q 0}
3.14 Q; Q
R
nmeros reais R nmeros
R significa: {lim
n
a
n
: n N: a
n
Q, o limite existe}
R; (1) R
C
nmeros complexos C nmeros
C significa: {a + bi : a,b R}

Pgina 7 de 9

i = (1) C
<
>
comparao menor que, maior que
ordenaes
parciais
x < y significa: x menor que y; x > y significa: x maior que y
Exemplo: x < y y > x


comparao
menor ou igual a,
maior ou igual a
ordenaes
parciais
x y significa: x menor que ou igual a y; x y significa: x maior que
ou igual a y
Exemplo: x 1 x x

raiz quadrada
a raiz quadrada principal
de; raiz quadrada
nmeros reais
x significa: o nmero positivo, cujo quadrado x
Exemplo: (x) = |x|

infinito infinito nmeros
um elemento da linha numrica estendida que maior que qualquer
nmero real; ocorre com frequncia em limites
Exemplo: lim
x0
1/|x| =

pi pi
geometria

Pgina 8 de 9

euclidiana
significa: a razo entre a circunferncia de um crculo e o seu dimetro
Exemplo: A = r a rea de um crculo de raio r
!
factorial factorial
anlise
combinatria
n! o produto 12...n
Exemplo: 4! = 24
| |
valor absoluto
valor absoluto de; mdulo
de
nmeros
|x| significa: a distncia no eixo dos reais (ou no plano complexo) entre x
e zero
Exemplo: |''a'' + ''bi''| = (a + b)
|| ||
norma norma de; comprimento de anlise funcional
||x|| a norma do elemento x de um espao vectorial
Exemplo: ||''x''+''y''|| ||''x''|| + ||''y''||

soma soma em ... de ... at ... de aritmtica

k=1
n
a
k
significa: a
1
+ a
2
+ ... + a
n

Exemplo:
k=1
4
k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30

Pgina 9 de 9


produto
produto em ... de ... at ...
de
aritmtica

k=1
n
a
k
significa: a
1
a
2
a
n

Exemplo:
k=1
4
(k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 =
360

integrao
integral de ... at ... de ...
em funo de
clculo

a
b
f(x) dx significa: a rea entre o eixo dos x e o grfico da funo f entre
x = a e x = b

0
b
x dx = b/3; x dx = x/3
f '
derivada
derivada de f; primitiva de
f
clculo
f '(x) a derivada da funo f no ponto x, i.e. o declive da tangente nesse
ponto
Exemplo: Se f(x) = x, ento f '(x) = 2x

gradiente del, nabla, gradiente de clculo
f (x
1
, , x
n
) o vector das derivadas parciais (df / dx
1
, , df / dx
n
)
Exemplo: Se f (x,y,z) = 3xy + z ento f = (3y, 3x, 2z)