Simbolos Matematicos

Tabla de símbolos matemáticos

De Wikipedia, la enciclopedia libre

Saltar a navegación, búsqueda

Tabla de contenidos

[ocultar]

• 1 Genéricos

• 2 =

• 3 :=≡:⇔

o 3.1 Aritmetica

• 4 +

• 5 −

• 6 ו*

• 7 ÷/

• 8 ∑

• 9 ∏

o 9.1 Lógica proposicional

• 10 ⇒→

• 11 ⇔↔

• 12 ∧

• 13 ∨

• 14 ¬/

o 14.1 Lógica de predicados

• 15 ∀

• 16 ∃

• 17 :

o 17.1 Teoría de conjuntos

• 18 { , }

• 19 { : }{ | }

• 20 ∅{}

• 21 ∈∉

• 22 ⊆⊂

• 23 ∪

• 24 ∩

• 25 \

o 25.1 Funciones

• 26 ( )[ ]{ }

• 27 f:X→Y

o 27.1 Números

• 28 N

• 29 Z

• 30 Q

• 31 R

• 32 C

• 33 √

• 34 ∞

• 35 | |

o 35.1 Órdenes parciales

• 36 <>

• 37 ≤≥

o 37.1 Geometría euclídea

• 38 π

o 38.1 Combinatoria

• 39 !

o 39.1 Análisis funcional

• 40 || ||

o 40.1 Cálculo

• 41 ∫

• 42 f '

• 43 ∇

• 44 ∂

o 44.1 Ortogonalidad

• 45 ⊥

o 45.1 Teoría de rejas

• 46 ⊥

o 46.1 Enlaces externos

[editar]

Genéricos

Símbolo Nombre se lee como Categoría

[editar]

= igualdad

igual a todos

x = y significa: x y y son nombres diferentes para precisamente la misma cosa.

1 + 2 = 6 − 3

[editar]

:=

≡

:⇔ 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)

[editar]

Aritmetica

Símbolo Nombre se lee como Categoría

[editar]

+ 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

[editar]

− substracción

menos 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

[editar]

×

•

* multiplicación

por aritmética

significa que si se cuenta siete veces seis, el resultado será 42.

[editar]

÷

/ división

entre aritmética

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

24 / 6 = 4

[editar]

∑ 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

[editar]

∏ 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

[editar]

Lógica proposicional

Símbolo Nombre se lee como Categoría

[editar]

⇒

→ implicación material

implica; si .. entonces lógica proposicional

A ⇒ B significa: si A es verdadero 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.

x = 2 ⇒ x² = 4 es verdadera, pero x² = 4 ⇒ x = 2 es, en general, falso (yq que x podría ser −2)

[editar]

⇔

↔ equivalencia material

si y sólo si; ssi lógica proposicional

A ⇔ B significa: A es verdadera si B es verdadera y A es falsa si B es falsa.

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

[editar]

∧ conjunción lógica o intersección en una reja

y lógica proposicional, teoría de rejas

la proposición A ∧ B es veradera si A y B son ambas verdaderas; de otra manera es falsa.

n < 4 ∧ n > 2 ⇔ n = 3 cuando n es un número natural

[editar]

∨ disyunción lógica o unión en una reja

o lógica proposicional, teoría de rejas

la 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

[editar]

¬

/ negación lógica

no lógica proposicional

la proposición ¬A es verdadera si y sólo si A es falsa.

un "slash" colocado sobre otro operador es equivalente a "¬" colocado enfrente.

¬(A ∧ B) ⇔ (¬A) ∨ (¬B); x ∉ S ⇔ ¬(x ∈ S)

[editar]

Lógica de predicados

Símbolo Nombre se lee como Categoría

[editar]

∀ cuantificación universal

para todos; para cualquier; para cada lógica de predicados

∀ x: P(x) significa: P(x) es verdadera para cualquier x

∀ n ∈ N: n² ≥ n

[editar]

∃ cuantificación existencial

existe lógica de predicados

∃ x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

∃ n ∈ N: n + 5 = 2n

[editar]

: tal que lógica de predicados

∃ x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

∃ n ∈ N: n + 5 = 2n

[editar]

Teoría de conjuntos

Símbolo Nombre se lee como Categoría

[editar]

{ , } delimitadores de conjunto

el conjunto de ... teoría de conjuntos

{a,b,c} significa: el conjunto consistente de a, b, y c

N = {0,1,2,...}

[editar]

{ : }

{ | } notación constructora de conjuntos el conjunto de los elementos ... tales que ... teoría de conjuntos

...