Smbolo

Nome

l-se como

Categoria

equivalncia material

se e s se; sse

lgica proposicional

Significado
4 + 6 = 10 significa que se se somar 4 a 6, a soma,
ou resultado, 10.
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.
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
A funes
B significa: A verdadeiro se B for
verdadeiro e A falso se B falso

conjuno lgica

lgica proposicional

a proposio A B verdadeira se A e B foram

ambos
verdadeiros;
contrrio,
a proposio
A B caso
verdadeira
seAfalsa
ou B (ou

disjuno lgica

ou

lgica proposicional

negao lgica

no

lgica proposicional

n < 4 n > 2 n = 3 quando n um nmero

natural
ambos) forem verdadeiros; se ambos forem falsos, Exemplo: n 4 n 2 n 3 quando n
a proposio falsa
um nmero natural
a proposio A verdadeira se e s se A for
falso
(A B) (A) (B); x S (x S)

adio

mais

aritmtica

subtrao

menos

aritmtica

implicao material

implica; se ... ento

lgica proposicional

Exemplo
43 + 65 = 108; 2 + 7 = 9

87 - 36 = 51

x = 2 x = 4 verdadeiro, mas x = 4
x = 2 em geral falso (visto que x pode
ser 2)
x +5=y +2 x +3=y

quantificao universal
quantificao existencial
igualdade

para todos; para

qualquer; para cada
existe
igual a

lgica predicativa
lgica predicativa
todas

Uma barra colocada sobre outro operador tem o

mesmo significado que "" colocado sua frente
x : P (x ) significa: P (x ) verdadeiro para todos
os
n N: n n
xx: P (x ) significa: existe pelo menos um x tal
que
P
(x
)

verdadeiro
x = y significa: x e y so nomes diferentes para a n N: n + 5 = 2n
exata mesma coisa
1+2=63

:=

definio

definido como

todas

x := y significa: x definido como outro nome

para y

:
{,}
{:}
{|}

{}

cosh x := (1/2)(exp x +
exp (x)); A XOR B : (A B) (A B)

chavetas de conjunto

o conjunto de ...

teoria de conjuntos

notao de construo de conjuntos

o conjunto de ... tal

que ...

teoria de conjuntos

P : Q significa: P definido como logicamente

equivalente
a Q o conjunto que consiste de a , b ,
{a
,b ,c } significa:
ec
N = {0,1,2,...}
{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 )}.
{n N : n < 20} = {0,1,2,3,4}

conjunto vazio

conjunto vazio

teoria de conjuntos

{} significa: o conjunto sem elementos; a

mesma coisa

pertena a conjunto

em; est em; um

elemento de; um
membro de; pertence
a ; existe em ,

teoria de conjuntos

a S significa: a um elemento do
conjunto S ; a S significa: a no um elemento
de S
(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 )

{n N : 1 < n < 4} = {}

A B A;QR

Smbolo

Nome

l-se como

Categoria

Significado
A B significa: A B mas A B (A um subconjunto
prprio
B)
A
B de
significa:
o conjunto que contm todos os
elementos de A e tambm todos os de B , mas
mais nenhuns
A B significa: o conjunto que contm todos os
elementos
que Ao conjunto
e B tm que
em comum
A
\ B significa:
contm todos os
elementos
de A que
no esto
B
para a aplicao
de funo:
f (x em
) significa:
o valor
da
funo
f
no
elemento
x
para o agrupamento: execute primeiro as
operaes dentro dos parnteses

Exemplo

unio terica de conjuntos

a unio de ... com ...;

unio

teoria de conjuntos

interseco terica de conjuntos

complemento terico de conjuntos
aplicao de funo; agrupamento

intersecta com;
intersecta
menos; sem
de

teoria de conjuntos
teoria de conjuntos
teoria de conjuntos

seta de funo

de ... para

funes

f : X Y significa: a funo f mapeia o

conjunto X no conjunto Y

Considere a funo f: Z N definida

por f(x) = x

nmeros naturais

nmeros

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

{|a| : a Z} = N

nmeros inteiros

nmeros

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

{a : |a| N} = Z

nmeros racionais
nmeros reais

Q
R

nmeros
nmeros

3.14 Q; Q
R; (1) R

nmeros complexos

nmeros

<
>

comparao

menor que, maior

que

ordenaes parciais

Q significa: {p /q : p ,q Z, q 0}
R significa: {limn a n : n N: a n Q, o limite
C significa: {a + bi : a ,b R}
x < y significa: x menor
que y ; x > y significa: x maior que y

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

raiz quadrada

a raiz quadrada
principal de; raiz
quadrada

nmeros reais

infinito

infinito

pi

pi

factorial

factorial

\
()
[]
{}
f :X Y
N
Z
Q
R
C

||

valor absoluto

|| ||

norma

soma

produto

valor absoluto de;

mdulo de
norma de;
comprimento de
soma em ... de ... at
... de
produto em ... de ...
at ... de

x significa: o nmero positivo, cujo quadrado x

um elemento da linha numrica estendida que
maior que qualquer nmero real; ocorre com
frequncia em limites
nmeros
significa: a razo entre a circunferncia de um crculo e
geometria euclidiana o seu dimetro
anlise combinatria n ! o produto 12...n
|x | significa: a distncia no eixo dos reais (ou
no plano complexo) entre x e zero
nmeros

i = (1) C
Exemplo: x < y y > x

Exemplo: x 1 x x

(x) = |x|

limx0 1/|x| =
A = r a rea de um crculo de raio r
4! = 24
|''a'' + ''bi''| = (a + b)

||x|| a norma do elemento x de um espao vectorial

aritmtica

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

aritmtica

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

||''x''+''y''|| ||''x''|| + ||''y''||

k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 +
16 = 30
k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 +
2) = 3 4 5 6 = 360

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

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

f '

derivada

gradiente

del, nabla, gradiente de

integrao

{x R : x = 1} N = {1}
{1,2,3,4}
{3,4,5,6}
= {1,2}
Se f(x) :=\ x,
ento f(3)
= 3 = 9; (8/4)/2 =
2/2 = 1, mas 8/(4/2) = 8/2 = 4

anlise funcional

integral de ... at ... de

... em funo de
clculo
derivada de f; primitiva
de f
clculo

A B A B =B

clculo

f '(x ) a derivada da funo f no ponto x , i.e.

o declive da tangente nesse ponto
f (x1, , xn ) o vector das derivadas parciais
(df / dx 1, , df / dx n )

Se f(x) = x, ento f '(x) = 2x

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