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 pode ser 2)

x = 2 em geral falso (visto que x

equivalncia material

se e s se; sse

lgica proposicional

B significa: A verdadeiro se B for verdadeiro e A falso se B falso

x+5=y+2

x+3=y

conjuno lgica

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

n2

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

(x

S)

quantificao universal

para todos; para qualquer; para lgica predicativa cada

x: P(x) significa: P(x) verdadeiro para todos os x

Exemplo:

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 + 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 o conjunto de ... tal que ... de conjuntos

teoria de conjuntos

{:} {|}

{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; teoria de conjuntos um membro de; pertence a

a S significa: a um elemento do conjunto S; a elemento de S

S significa: a no um

Exemplo: (1/2)1

N; 21

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

A; Q

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 tambm todos os de B, mas mais nenhuns

Exemplo: 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 menos; sem conjuntos

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

seta de funo

de ... para

funes

f:X

Y f: X

Y significa: a funo f mapeia o conjunto X no conjunto Y

Exemplo: Considere a funo f: Z

N definida por f(x) = x

nmeros naturais

nmeros

N significa: {1,2,3,...}

Exemplo: {|a| : a

Z} = N

nmeros inteiros

nmeros

Z significa: {...,3,2,1,0,1,2,3,...}

Exemplo: {a : |a|

N} = Z

nmeros racionais

nmeros

Q significa: {p/q : p,q

Z, q 0}

3.14

Q;

nmeros reais

nmeros

R significa: {limn

an :

N: an

Q, o limite existe}

R; (1)

nmeros complexos

nmeros

C significa: {a + bi : a,b

R}

i = (1)

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 ordenaes igual a 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: limx

1/|x| =

pi

pi

geometria euclidiana

significa: a razo entre a circunferncia de um c rculo e o seu dimetro

Exemplo: A = r a rea de um c rculo de raio r

factorial

factorial

!
n! o produto 12...n
7

anlise combinatria

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=1n ak significa: a1 + a2 + ... + an Exemplo: k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30

produto

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

aritmtica

k=1n ak significa: a1a2an Exemplo: k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360

integrao

integral de ... at ... de ... em funo de

clculo

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

0b x dx = b/3; x dx = x/3

derivada

derivada de f; primitiva de f

clculo

f'

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 (x1, , xn) o vector das derivadas parciais (df / dx1, , df / dxn)

Exemplo: Se f (x,y,z) = 3xy + z ento f = (3y, 3x, 2z)

1