Minscula
Nombre
alfa
Pronuncia
a
vita
gama
g, y, u
delta
epsiln
zita
ita
thita
th
iota
kapa
lamda
mi
ni
xi
omicrn
pi
p, b
ro
sigma
taf
t, d
ipsilon
i, u, f
fi
khi
kh
psi
ps
omega
Genricos
Smbolo
Nombre
igualdad
se lee como
Categora
igual a
todos
x = y significa: x y y son nombres diferentes que hacen referencia a un mismo objeto o ente.
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
B)
(A
B)
Aritmtica
Smbolo
Nombre
adicin
se lee como
ms
Categora
aritmtica
menos
aritmtica
87 36 = 51
multiplicacin
por
aritmtica
4 x 6 = 24 4 * 6 = 24 4 6 = 24
divisin
entre
aritmtica
significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo ser
/de tamao siete.
:24 / 6 = 4
sumatoria
aritmtica
productorio
n
aritmtica
Lgica proposicional
Smbolo
Nombre
implicacin material o en un solo
sentido
se lee como
implica; si .. entonces;
por lo tanto
Categora
lgica proposicional
x = 2 x = 4 es verdadera, pero 4 = x
doble implicacin
lgica proposicional
x+5=y+2 x+3=y
no
lgica proposicional
Nombre
cuantificador universal
se lee como
Categora
cuantificador existencial
lgica de
predicados
lgica de
predicados
reluz
lgica de
predicados
tal que
Teora de conjuntos
Smbolo
Nombre
se lee como
delimitadores de conjunto
{,}
Categora
teora de
conjuntos
el conjunto de ...
{:}
{
notacin constructora de
conjuntos
teora de
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}
conjunto vaco
conjunto vaco
pertenencia de conjuntos
teora de
conjuntos
teora de
conjuntos
(1/2)1 N; 21 N
subconjunto
teora de
conjuntos
es subconjunto de
A B significa: A B pero A B
A B A; Q R
unin de conjuntos
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 de conjuntos
teora de
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
conjuntos
Funciones
Smbolo
Nombre
aplicacin de funcin; agrupamiento
se lee como
de
Categora
funciones
()
[
]
{ 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
Nmeros
Smbolo
Nombre
nmeros naturales
se lee como
Categora
nmeros
N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente.
{|a| : a Z} = N
nmeros enteros
nmeros
Z significa: {...,3,2,1,0,1,2,3,4,...}
{a : |a| N} = Z
nmeros racionales
nmeros
Q significa: {p/q : p, q Z, q 0}
3.14 Q; Q
nmeros reales
nmeros
nmeros
C significa: {a + bi : a, b R}
i = (1) C
raz cuadrada
nmeros reales
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
rdenes parciales
Smbolo
Nombre
comparacin
<
se lee como
es menor a, es mayor a
Categora
rdenes parciales
Nombre
se lee como
Categora
comparacin
rdenes parciales
x 1 x x
Geometra eucldea
Smbolo
Nombre
pi
se lee como
pi
Categora
Geometra euclideana
Combinatoria
Smbolo
Nombre
se lee como
factorial
Categora
factorial
combinatoria
n! es el producto 12...n
4! = 24
Anlisis funcional
Smbolo Nombre
se lee
como
Categora
norma
norma de;
longitud de
anlisis funcional
x+y
x+y
Clculo
Smbolo
Nombre
integracin
se lee como
integral desde ... hasta ... de ... con respecto a ...
Categora
clculo
f'
derivada de f; f prima
clculo
gradiente
clculo
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
Smbolo
Nombre
perpendicular
se lee como
es perpendicular a
Categora
ortogonalidad
lgebra matricial
Smbolo
Nombre
perpendicular
se lee como
traspuesta
Categora
matrices y vectores
(a,b) con al lado o a modo de potencia significa que el vector se debe colocar 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
Smbolo
Nombre
fondo
se lee como
el elemento fondo
Categora
teora de rejas