Símbolos Matemáticos
Genéricos
Símbolo
Nombre
se lee como
Categoría
=
igualdad
igual a
todos
x = y significa: x y y son nombres diferentes para precisamente la misma cosa.1 + 2 = 6 − 3
:=
≡
:⇔
definición
se define como
todos
x := y o x ≡ y significa: x se define como otro nombre para y (notar, sin embargo, que ≡ puede también significar otras cosas, comocongruencia)
P :⇔ Q significa: P se define como lógicamente equivalente a Q
cosh x := (1/2)(exp x + exp (−x)); A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)
Aritmética
Símbolo
Nombre
se lee como
Categoría
+adición
mas
aritmética
4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.
43 + 65 = 108; 2 + 7 = 9
−-
substracción
menos
aritmética
9 − 4 = 5 significa que si4 es restado de 9, el resultado será 5. El símbolo 'menos' también se utiliza para denotar que un número es negativo. Por ejemplo, 5 + (−3) = 2 significa que si 'cinco' y 'menos tres' son sumados, elresultado es 'dos'.
87 − 36 = 51
×
·
*
multiplicación
por
aritmética
significa que si se cuenta siete veces seis, el resultado será 42.
÷
/
división
entre
aritmética
significaque si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo será de tamaño siete.
24 / 6 = 4
∑
sumatoria
suma sobre ... desde ... hasta ... de
aritmética∑k=1n ak significa: a1 + a2 + ... + an
∑k=14 k2 = 12 + 22 + 32 + 42 = 1 + 4 + 9 + 16 = 30
∏
producto
producto sobre... desde ... hasta ... de
aritmética
∏k=1n ak significa: a1a2···an
∏k=14 (k + 2) = (1 + 2)(2 + 2)(3 +2)(4 + 2) = 3 × 4 × 5 × 6 = 360
Lógica proposicional
Símbolo
Nombre
se lee como
Categoría
⇒
→
implicación material
implica; si .. entonces
lógica proposicional
A ⇒ B significa: si A esverdadero entonces B es verdadero también; 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 más abajo....
Regístrate para leer el documento completo.