tecnico

Genéricos[editar]
Símbolo
Nombre
se lee como
Categoría

igualdad
igual a
todos

x = y significa: x e y son nombres diferentes que hacen referencia a un mismo objeto o ente.

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, como congruencia)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 y álgebra[editar]
Símbolo
Nombre
se lee como
Categoría

adición
másaritmética 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

sustracció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

7 × 6 = 42 significa que si se cuenta siete veces seis, el resultado será 42.

4 × 6 = 24   ó   4 * 6 = 24   ó   4 · 6 =24



división
entre, dividido por
aritmética

 significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo será de tamaño siete.



sumatoria
suma sobre ... desde ...hasta ... de
aritmética

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

∑k=14 k² = 1² + 2² + 3² + 4² = 1 + 4 + 9 + 16 = 30

productorio
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[editar]
Símbolo
Nombre
se lee como
Categoría


implicación material o en unsolo sentido
implica; si .. entonces; por lo tanto
lógica proposicional

A ⇒ B significa: si A es verdadero entonces B es verdadero también; si B es verdadero entonces nada se dice sobre A....