TABELA DE SMBOLOS MATEMTICOS

Smbolo +

Nome adio

l-se como mais

Categoria 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; seA 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 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 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 exacta 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 difinido como logicamente equivalente a Q Exemplo: cosh x := (1/2)(exp x + exp (x)); A XOR B : (A B) (A B) {,} chavetas deconjunto 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

{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; 21 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 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 Btm 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 Exemplo: Considere a funo f: Z N definida por f(x) = x N nmeros naturais N N significa: {0,1,2,3,...} Exemplo: {|a| : a Z} = N Z nmeros inteiros Z Z significa: {...,3,2,1,0,1,2,3,...} Exemplo: {a : |a| N} = Z Nmeros Nmeros

nmeros racionais]

Q Q significa: {p/q : p,q Z, q 0} 3.14 Q; Q

Nmeros

nmeros reais

Nmeros

R significa: {limn an : n N: an Q, o limite existe} R; (1) R C nmeros complexos C C significa: {a + bi : a,b R} i = (1) C < > comparao menor que, maior que ordenaes parciais Nmeros

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: limx0 1/|x| = pi pi geometria 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 n! o produto 12...n Exemplo: 4! = 24 || valor absoluto valor absoluto de; mdulo de nmeros anlise combinatria

|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 k=1n soma em ... de ... at ... de a k significa: a1 + a2 + ... + an aritmtica

Exemplo: k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30 produto produto em ... de ... at ... de k=1n Exemplo: k=14 a k significa: a1a2 an aritmtica

(k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360 integral de ... at ... de ... em funo de clculo

integrao

ab f( x) dx significa: a rea entre o eixo dos x e o grfico da funo fentre x = a e x = b 0b 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 tangentenesse 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)