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 equivalncia material equivalente lgica proposicional

A B significa: A equivalente a B. x+5=y+2 x+3=y conjuno lgica e lgica proposicional

a proposio A B so verdadeira ambos forem verdadeiros. Exemplo: 2 = 4 1 = 1 falso disjuno lgica ou lgica proposicional

a proposio A B s falsa se ambos forem falsos. Exemplo: 2 = 4 1 = 1 verdadeiro 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 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

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

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 B tm em comum Exemplo: {x R : x = 1} N = {1} complemento terico de conjuntos menos; sem teoria de conjuntos

\ () [] {} f:XY IN Z

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 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 N significa: {0,1,2,3,...} Exemplo: {|a| : a Z} = N nmeros inteiros Z significa: {...,3,2,1,0,1,2,3,...} Z nmeros N nmeros

Exemplo: {a : |a| N} = Z nmeros racionais Q nmeros

Q R C < > !

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

R significa: {limn an : n N: an Q, o limite existe} R; (1) R nmeros complexos C significa: {a + bi : a,b R} i = (1) C comparao menor que, maior que ordenaes parciais C 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 fatorial fatorial 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=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 clculo funo de

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