Simbolos Matemáticos

Anexo:Símbolos matemáticos

1

Anexo:Símbolos matemáticos
Genéricos
Símbolo

Nombre
igualdad

se lee como
igual a

Categoría
todos

x = y significa: x y 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 ≡ puedetambié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
Símbolo

Nombre
adición

se lee como
más

Categoría
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ónmenos

aritmética

9 − 4 = 5 significa que si 4 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, el resultado es 'dos'.
87 − 36 = 51
multiplicación

por

aritmética

7 x 6 = 42 significa que si se cuenta siete veces seis, el resultado será 42.4 x 6 = 24   ó   4 * 6 = 24   ó   4 · 6 = 24
división

entre

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∏k=1n ak significa: a1a2···an
∏k=14 (k + 2) = (1  + 2)(2 + 2)(3 + 2)(4 + 2) = 3 × 4 × 5 × 6 = 360

aritmética

Anexo:Símbolos matemáticos

2

Lógica proposicional
Símbolo

Nombre
implicación material o en un solo sentido

se lee como

Categoría

implica; si .. entonces; por lo tanto

lógica proposicional

A ⇒ B significa: si A es verdadero entonces B es verdaderotambién; 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 más abajo.
x = 2  ⇒  x² = 4 es verdadera, pero 4 = x²   ⇒  x = 2 es, en general, falso (ya que x podría ser −2)
[1]
si y sólo si; sii, syss

doble implicación

lógica proposicional

A ⇔ B significa: A es verdadera si B es verdadera y A es falsa siB es falsa.
x + 5 = y + 2  ⇔  x + 3 = y
conjunción lógica o intersección en una reja

y

lógica proposicional, teoría de rejas

la proposición A ∧ B es verdadera si A y B son ambas verdaderas; de otra manera es falsa.todo es verdadero de los valores
n < 4  ∧  n > 2  ⇔  n = 3 cuando n es un número natural
disyunción lógica o unión en una reja

o

lógica proposicional, teoría de rejasla proposición A ∨ B es verdadera si A o B (o ambas) son verdaderas; si ambas son falsas, la proposición es falsa.
n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 cuando n es un número natural
negación lógica

no

lógica proposicional

la proposición ¬A es verdadera si y sólo si A es falsa.
una barra colocada sobre otro operador es equivalente a un ¬ colocado a la izquierda.
¬(A ∧ B) ⇔ (¬A) ∨ (¬B); x ∉S  ⇔  ¬(x ∈ S)

Lógica de predicados
Símbolo

Nombre
cuantificador universal

se lee como

Categoría

para todos; para cualquier; para cada

lógica de predicados

existe por lo menos un/os

lógica de predicados

∀ x : P(x) significa: P(x) es verdadera para cualquier x
∀ n ∈ N: n² ≥ n
cuantificador existencial

∃ x : P(x) significa: existe por lo menos un x tal que P(x) esverdadera.
∃ n ∈ N: n + 5 = 2n
cuantificador existencial con marca de unicidad

existe un/os único/s

lógica de predicados

∃!  x : P(x) significa: existe un único x tal que P(x) es verdadera.
∃!  n ∈ N: n + 1 = 2
reluz

tal que

∃ x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
∃ n ∈ N: n + 5 = 2n

lógica de predicados

Anexo:Símbolos matemáticos

3...