S Mbolos Matem Ticos

Símbolos matemáticos
Símbolo
Nome lê-se como
Categoria
+ adição mais aritmética 4 + 6 = 10 significa que se se somar 4 a 6, a soma, ou resultado, é 10.

Exemplo: 43 + 65 = 108; 2 + 7 = 9
-
subtração menos aritmética

9 - 4 = 5 significa que se se subtrair 4 de 9, o resultado será 5. O sinal - é único porque também denota que um número é negativo. Por exemplo, 5 + (-3) = 2 significa que se se somar cinco e menos três, o resultado será dois.

Exemplo: 87 - 36 = 51
⇔

equivalência material é equivalente lógicaproposicional A ⇔ B significa: A é equivalente a B.

x + 5 = y + 2 ⇔ x + 3 = y
∧
conjunção lógica e lógicaproposicional

a proposição A ∧ B so é verdadeira ambos forem verdadeiros.

Exemplo: 2 = 4 ∧ 1 = 1 é falso
∨
disjunção lógica ou lógicaproposicional

a proposição A ∨ B só é falsa se ambos forem falsos.

Exemplo: 2 = 4 ∨ 1 = 1 é verdadeiro
¬
/ negação lógica não lógicaproposicional

a proposição ¬A é verdadeira se e só se A for falso
Uma barra colocada sobre outro operador tem o mesmo significado que "¬" colocado à sua frente

Exemplo: ¬(A ∧ B) ⇔ (¬A) ∨ (¬B); x ∉ S ⇔ ¬(x ∈ S)
∀
quantificação universal para todos; para qualquer; para cada lógicapredicativa ∀ x: P(x) significa: P(x) é verdadeiro para todos os x

Exemplo: ∀ n ∈ N: n² ≥ n
∃
quantificação existencial existe lógicapredicativa

∃ x: P(x) significa: existe pelo menos um x tal que P(x) é verdadeiro

Exemplo: ∃ n ∈ N: n + 5 = 2n
=
igualdade igual a todas x = y significa: x e y são nomes diferentes para a exacta mesma coisa

Exemplo: 1 + 2 = 6 − 3
:=
:⇔ definição é definido como todas x := y significa: x é definido como outro nome para y
P :⇔ Q significa: P é difinido como logicamente equivalente a Q

Exemplo: cosh x := (1/2)(exp x + exp (−x)); A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)
{ , } chavetas de conjunto o conjunto de ... teoria de conjuntos

{a,b,c} significa: o conjunto que consiste de a, b, e c

Exemplo: N = {0,1,2,...}
{ : }
{ | } notação de construção de conjuntos o conjunto de ... tal