Genricos

Smbolo Nombre se lee como Categora

igualdad igual a, igual que todos
x = y significa: x e y son nombres diferentes que hacen referencia a un mismo objeto o
ente.
1 + 2 = 6 3, 36 - 11 = 25
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)

ad infinitum o sucesin matemtica se repite/progresin todos

0, 1, 2, 3, ... 18 y a1, a2, a3, ...a7 y a1, a2, a3, ...an se entiende que la progresin se
extiende hasta el nmero o valor indicado. En estos casos, 18, 7 y algn
natural n respectivamente.

1, 2, 3, 4, ... y a1, a2, a3, ... y a1, a2, a3, ... se entiende que cada progresin se
extiende infinitamente1
2, 4, 6, 8, ... se entiende que hay un incremento progresivo segn el patrn hasta el
infinito.
... 4, 3, 2, 1, 0, 1, 2, 3, 4, ... se entiende que decrementa progresivamente hacia la
izquierda y que aumenta progresivamente hacia la derecha, y se extiende infinitamente
en ambos sentidos.
3,14159265358979323846... se entiende que el valor del smbolo pi es
aproximadamente 3,14159265358979323846 pero que los siguientes dgitos conocidos y
desconocidos se extienden hasta el infinito2.

o se entiende como suma de fracciones peridicas.

se entiende como una matriz de progresin donde los elementos comienzan por la
fila y columna de subndice 1 y terminan en la fila de subndice 2324, y la columna de
subndice 127.

se entiende que el nmero ureo es igual 1 sumado la fraccin de 1 sobre la

repeticin infinita de la misma ecuacin.

x = 1 + 2 + 3 + ... + 54

[
Aritmtica y lgebra[editar]
Smbolo Nombre se lee como Categora
adicin ms aritmtica y lgebra
4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.
43 + 65 = 108; 2 + 7 = 9
sustraccin menos aritmtica
365 = 31 significa que si 5 es restado de 36, el resultado ser 31. El smbolo 'menos'
tambin se utiliza para denotar que un nmero es negativo. Por ejemplo, 36 + (55) = 36
55 = 19 significa que si 'cinco' y 'menos tres' son sumados, el resultado es 'dos'.
365 = 31; 36-55=19
multiplicacin por aritmtica
7 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42.

4 6 = 24 4 * 6 = 24 4 6 = 24

divisin entre, dividido, dividido por aritmtica

significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo
ser de tamao siete.

sumatorio suma sobre ... desde ... hasta ... de aritmtica

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

k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30
producto sobre... desde ... hasta ...
productorio aritmtica
de
k=1n ak significa: a1a2an
k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360
Lgica proposicional[editar]
Smbolo Nombre se lee como Categora
implicacin material o en un solo implica; si .. entonces;
lgica proposicional
sentido por lo tanto
A B significa: si A es verdadero entonces B es verdadero tambin; si B es verdadero
entonces nada se dice sobre A.
puede significar lo mismo que , o puede ser usado para denotar funciones, como se
indica ms abajo.
x = 2 x = 4 es verdadera, pero 4 = x x = 2 es, en general, falso (ya que x podra
ser 2)
doble implicacin si y slo si; sii, syss3 lgica proposicional
A B significa: A es verdadera si B es verdadera y viceversa.

x+5=y+2 x+3=y

conjuncin lgica o interseccin en lgica proposicional, teora

y
una reja de rejas
la proposicin A B es verdadera si A y B son ambas verdaderas; de otra manera es
falsa.
n < 4 n > 2 n = 3 cuando n es un nmero natural
disyuncin lgica o unin en lgica proposicional, teora
o,
una reja de rejas
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
negacin lgica no lgica proposicional
la proposicin A es verdadera si y slo si A es falsa.
una barra puesta sobre otro operador es equivalente a un puesto a la izquierda.
(A B) (A) (B); x S (x S)

Lgica de predicados[editar]
para todos; para cualquier; para lgica de
cuantificador universal
cada predicados
x : P(x) significa: P(x) es verdadera para cualquier x
n N: n n
lgica de
cuantificador existencial existe por lo menos un/os
predicados
 x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
n N: n + 5 = 2n - 26
cuantificador existencial con marca de lgica de
existe un/os nico/s
unicidad predicados
! x : P(x) significa: existe un nico x tal que P(x) es verdadera.
! n N: n + 1 = 2
lgica de
reluz tal que
predicados
x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
n N: n + 5 = 2n - 26

Teora de conjuntos[editar]
Smbolo Nombre se lee como Categora
teora de
delimitadores de conjunto el conjunto de ...
conjuntos
{a,b,c} significa: el conjunto que contiene a, b, y c
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 : n < 20} = {0,1,2,3,4}
teora de
conjunto vaco conjunto vaco
conjuntos
{} significa: el conjunto que no tiene elementos; es la misma cosa.
{n N : 1 < n < 4} = {}
en; est en; es elemento de; es miembro teora de
pertenencia de conjuntos
de; pertenece a conjuntos
a S significa: a es elemento del conjunto S; a S significa: a no es elemento del
conjunto S
(1/2)1 N; 21 N
teora de
subconjunto es subconjunto de
conjuntos
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
unin de conjuntos la unin de ... y ...; unin
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
teora de
interseccin de conjuntos la interseccin de ... y ...; interseccin
conjuntos
 A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en
comn.
{x R : x = 1} N = {1}
teora de
diferencia de conjuntos menos; sin
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[editar]
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.

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

mapeo funcional de ... a funciones

f: X Y significa: la funcin f mapea el conjunto X al conjunto Y
Considrese la funcin f: Z N definida por f(x) = x
Funciones de Suelo y Techo Suelo de, Techo de funciones
La funcin suelo asigna el entero ms prximo por defecto, la funcin techo asigna el
entero ms prximo por exceso.

Si x=1.5, entonces x =1 y x =2

Nmeros[editar]
Smbolo Nombre se lee como Categora
nmeros naturales N nmeros
N significa: {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,4,...}
{a : |a| N} = Z
nmeros racionales Q nmeros
Q significa: {p/q : p, q Z, q 0}
3.14 Q; Q
nmeros reales R nmeros
R significa: {limn an : n N: an Q, el lmite existe}
R; (1) R
nmeros complejos C nmeros
C significa: {a + bi : a, b R}
i = (1) C
 raz cuadrada la raz cuadrada de; la principal raz cuadrada de nmeros reales
x significa: el nmero positivo cuyo cuadrado es x
(x) = |x|
infinito infinito nmeros
es un elemento de la recta real extendida 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 recta real (o en el plano complejo) entre x y [[zero], se le
llama tambin mdulo]
|a + bi | = (a+ b)

rdenes parciales[editar]
Smbolo Nombre se lee como Categora
comparacin es menor a, es menor que; es mayor a, es mayor que rdenes parciales
x < y significa: x es menor que y; x > y significa: x es mayor que y

3 <4 5 >4

Smbolo Nombre se lee como Categora

es menor o igual a, es menor o igual que; es mayor o igual rdenes
comparacin
a, es mayor o igual que parciales
x y significa: x es menor o igual que y; x y significa: x es mayor o igual que y
x 1 x x

Geometra eucldeana[editar]
Smbolo Nombre se lee como Categora
pi pi Geometra euclideana
significa: la razn de la circunferencia a su dimetro.
A = r es el rea de un crculo con radio "r"

Combinatoria[editar]
Smbolo Nombre se lee como Categora
factorial factorial de combinatoria
n! es el producto 12...n
4! = 24

Anlisis funcional[editar]
Smbolo Nombre se lee como Categora
norma norma de; longitud de anlisis funcional

es la norma del elemento x de un espacio vectorial normado

 desigualdad triangular de un espacio normado

Clculo diferencial[editar]
Smbolo Nombre se lee como Categora
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 y x = b
0b x dx = b/3; x dx = x/3
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) = x, entonces f '(x) = 2x y f ' '(x) = 2
gradiente del, nabla, gradiente de clculo
f (x1, , xn) es el vector de derivadas parciales (df / dx1, , df / dxn)
Si f (x, y, z) = 3xy + z entonces f = (3y, 3x, 2z)
derivada 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) = xy, entonces f/x = 2xy

Ortogonalidad[editar]
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.

lgebra matricial[editar]
Smbolo Nombre se lee como Categora
perpendicular traspuesta matrices y vectores

(a,b) con al lado o a modo de potencia significa que el vector se debe ubicar no de
izquierda a derecha, sino de arriba a abajo. En numerosos trabajos de investigacin se
utiliza esta sintaxis al no poder representar en un documento vectores verticales.

Teora de rejas[editar]
Smbolo Nombre se lee como Categora
fondo el elemento fondo teora de rejas

x= significa: x es el elemento ms pequeo.