26/04/13

Smbolos Matemticos

Tabla de smbolos matemticos

Genricos
Smbolo

=
:=

Nombre
se lee como
Categora
igualdad
igual a
todos
x = y significa: x y y son nombres diferentes para precisamente la misma cosa.
1+2=63
definicin
se define como
todos
x := y o x y significa: x se define como otro nombre para y (notar, sin embargo,
que puede tambin significar otras cosas, como congruencia)
P : Q significa: P se define como lgicamente equivalente a Q
cosh x := (1/2)(exp x + exp (x)); A XOR B : (A B) (A B)

Aritmetica
Smbolo

Nombre
se lee como
Categora
adicin
mas
aritmtica
4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.
43 + 65 = 108; 2 + 7 = 9
substraccin

menos

aritmtica

9 4 = 5 significa que si 4 es restado de 9, el resultado ser 5. El smbolo 'menos'

tambin se utiliza para denotar que un nmero es negativo. Por ejemplo, 5 + (3) = 2
significa que si 'cinco' y 'menos tres' son sumados, el resultado es 'dos'.
87 36 = 51
multiplicacin
por
aritmtica

significa que si se cuenta siete veces seis, el resultado ser 42.

divisin

entre

aritmtica

laboratoriomatematicas.uniandes.edu.co/semarquitec/simbolosmat.htm

1/7

26/04/13

Smbolos Matemticos

significa que si se hace seis pedazos uniformes de cuarenta y dos, cada

pedazo ser de tamao siete.
24 / 6 = 4
sumatoria

aritmtica

k =1n ak significa: a1 + a2 + ... + an

k =14 k2 = 12 + 22 + 32 + 42 = 1 + 4 + 9 + 16 = 30
producto

suma sobre ... desde ... hasta ... de

producto sobre... desde ... hasta ... de

aritmtica

k =1n ak significa: a1a2an

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

Lgica proposicional
Smbolo

Nombre
implicacin material

se lee como
implica; si ..
entonces

Categora
lgica proposicional

A B significa: si A es verdadero entonces B es verdadero tambin; si A es falso

entonces nada se dice sobre B.
puede significar lo mismo que , o puede ser usado para denotar funciones,
como se indica ms abajo.
x = 2 x2 = 4 es verdadera, pero x2 = 4 x = 2 es, en general, falso (yq que x
podra ser 2)
equivalencia material
si y slo si; ssi
lgica proposicional
A B significa: A es verdadera si B es verdadera y A es falsa si B es falsa.
x+5=y+2 x+3=y
conjuncin lgica o interseccin en
y
una reja

lgica proposicional, teora

de rejas

la proposicin A B es veradera si A y B son ambas verdaderas; de otra manera

es falsa.
n < 4 n > 2 n = 3 cuando n es un nmero natural
disjuncin lgica o unin en una
lgica proposicional, teora
o
de rejas
reja
la proposicin A B es verdadera si A o B (o ambas) son verdaderas; si ambas
son falsas, la proposicin es falsa.
n 4 n 2 n 3 cuando n es un nmero natural
no
negacin lgica
lgica proposicional
la proposicin A es verdadera si y slo si A es falsa.
un "slash" colocado sobre otro operador es equivalente a "" colocado enfrente.

laboratoriomatematicas.uniandes.edu.co/semarquitec/simbolosmat.htm

2/7

26/04/13

Smbolos Matemticos

un "slash" colocado sobre otro operador es equivalente a "" colocado enfrente.

(A B) (A) (B); x S (x S)

Lgica de predicados
Smbolo

Nombre

se lee como

para todos; para cualquier; para

cada
x: P(x) significa: P(x) es verdadera para cualquier x
cuantificacin universal
n N: n2 n
cuantificacin
existencial

existe

lgica de predicados

lgica de predicados

x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

n N: n + 5 = 2n
tal que

Categora

lgica de predicados

x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

n N: n + 5 = 2n

Teora de conjuntos
Smbolo

Nombre

se lee como

delimitadores de conjunto el conjunto de ...

{ , } {a,b,c} significa: el conjunto consistente de a, b, y c

Categora
teora de
conjuntos

N = {0,1,2,...}

{:}
{|}
{}

notacin constructora de
teora de
el conjunto de los elementos ... tales que ...
conjuntos
conjuntos
{x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es verdadera. {x |
P(x)} es lo mismo que {x : P(x)}.
{n N : n2 < 20} = {0,1,2,3,4}
conjunto vaco

conjunto vaco

teora de
conjuntos

{} significa: el conjunto que no tiene elementos; es la misma cosa.

{n N : 1 < n2 < 4} = {}
membresa de conjuntos

en; est en; es elemento de; es miembro

de; pertenece a

teora de
conjuntos

a S significa: a es elemento del conjunto S; a S significa: a no es elemento del

conjunto S

1
1
laboratoriomatematicas.uniandes.edu.co/semarquitec/simbolosmat.htm

(1/2)

N; 2

3/7

26/04/13

Smbolos Matemticos

(1/2)1 N; 21 N

subconjunto

teora de
conjuntos

es subconjunto de

A B significa: cada elemento de A es tambin elemento de B

A B significa: A B pero A B
A B A; Q R

teora de
conjuntos
A B significa: el conjunto que contiene todos los elementos de A y tambin todos
aquellos de B, pero ningn otro.

AB AB=B
interseccin conjuntoteora de
la interseccin de ... y ...; interseccin
teortica
conjuntos
A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen
en comn.

unin conjunto-teortica

la unin de ... y ...; unin

{x R : x2 = 1} N = {1}

complemento conjuntoteora de
menos; sin
teortico
conjuntos
A \ B significa: el conjunto que contiene todos aquellos elementos de A que no se
encuentran en B
{1,2,3,4} \ {3,4,5,6} = {1,2}

Funciones
Smbolo

()
[]
{}

Nombre
se lee como
Categora
aplicacin de funcin; agrupamiento
de
funciones
para aplicacin de funcin: f(x) significa: el valor de la funcin f sobre el
elemento x
para agrupamiento: realizar primero las operaciones dentro del parntesis.

If f(x) := x2, entonces f(3) = 32 = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) = 8/2 = 4

mapeo funcional

de ... a

funciones

f:XY f: X Y significa: la funcin f mapea el conjunto X al2conjunto Y

Considrese la funcin f: Z N definida por f(x) = x

Nmeros
laboratoriomatematicas.uniandes.edu.co/semarquitec/simbolosmat.htm

4/7

26/04/13

Smbolos Matemticos

Smbolo

N
Z
Q

Nombre
se lee como
Categora
nmeros naturales N
nmeros
N significa: {0,1,2,3,...}, pero vase el artculo nmeros naturales para una
convencin diferente.
{|a| : a Z} = N
nmeros enteros Z
nmeros
Z significa: {...,3,2,1,0,1,2,3,...}
{a : |a| N} = Z
nmeros
Q
racionales
Q significa: {p/q : p,q Z, q 0}
3.14 Q; Q
nmeros reales

R
C

nmeros

nmeros

R significa: {limn an : n N: an Q, el lmite existe}

R; (1) R
nmeros complejos C
C significa: {a + bi : a,b R}

nmeros

i = (1) C
la raz cuadrada de; la principal raz cuadrada
de
x significa: el nmero positivo cuyo cuadrado es x
raz cuadrada

||

nmeros reales

(x2) = |x|
infinito
infinito
nmeros
es un elemento de la lnea extendida de nmeros reales mayor que todos los
nmeros reales; ocurre frecuentemente en lmites
limx0 1/|x| =
valor absoluto
valor absoluto de
nmeros
|x| significa: la distancia en la lnea real (o en el plano complejo) entre x y zero
|a + bi| = (a2 + b2)

rdenes parciales
Smbolo

<
>

Nombre
comparacin

se lee como
es menor que, es mayor que

Categora
rdenes parciales

x < y significa: x es menor que y; x > y significa: x es mayor que y

x<y y>x

laboratoriomatematicas.uniandes.edu.co/semarquitec/simbolosmat.htm

5/7

26/04/13

Smbolos Matemticos

comparacin es menor o igual a, es mayor o igual a

rdenes parciales
x y significa: x es menor o igual a y; x y significa: x es mayor o igual a y

x 1 x2 x

Geometra eucliedeana
Smbolo

Nombre

se lee como

Categora
pi
pi
Geometra euclideana
significa: la razn de la circunferencia de un crculo a su dimetro.
A = r es el rea de un crculo con radio r

Combinatoria
Smbolo

Nombre
se lee como
factorial
factorial
n! es el producto 12...n

Categora
combinatoria

4! = 24

Anlisis funcional
Smbolo

|| ||

Nombre
norma

se lee como
norma de; longitud de

Categora
anlisis funcional

||x|| es la norma del elemento x de un espacio vectorial normado

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

Clculo
Smbolo

Nombre
integracin

se lee como
integral desde ... hasta ... de ... con respecto a ...

laboratoriomatematicas.uniandes.edu.co/semarquitec/simbolosmat.htm

Categora
clculo

6/7

26/04/13

Smbolos Matemticos

integracin

integral desde ... hasta ... de ... con respecto a ...

clculo

ab f(x) dx significa: el rea, con signo, entre el eje-x y la grfica de la funcin f entre
x =a yx =b

0b x2 dx = b3/3; x2 dx = x3/3

f'

derivacin
derivada de f; f prima
clculo
f '(x) es la derivada de la funcin f en el punto x, esto es, la pendiente de la tangente
en ese lugar.
Si f(x) = x2, entonces f '(x) = 2x y f '&apos;(x) = 2
gradiente
del, nabla, gradiente de
f (x1, , xn) es el vector de derivadas parciales (df / dx1, , df / dxn)

clculo

Si f (x,y,z) = 3xy + z entonces f = (3y, 3x, 2z)

derivacin parcial derivada parcial de
clculo
Con f (x1, , xn), f/xi es la derivada de f con respecto a xi, con todas las otras
variables mantenidas constantes.

Si f(x,y) = x2y, entonces f/x = 2xy

Ortogonalidad
Smbolo

Nombre
se lee como
Categora
perpendicular
es perpendicular a
ortogonalidad
x y significa: x es perpendicular a y; o, ms generalmente, x es ortogonal a y.

Teora de rejas
Smbolo

Nombre
se lee como
fondo
el elemento fondo
x = significa: x es el elemento ms pequeo.

laboratoriomatematicas.uniandes.edu.co/semarquitec/simbolosmat.htm

Categora
teora de rejas

7/7