© Paulo Ribeiro lógica bivalente • propriedades e notação • resumo [email protected] 1/2
TERMINOLOGIA MATEMÁTICA símbolos e notação
LÓGICA
Símbolo Designação Lê-se ou ¬ Negação Não é verdade que …
∧ Conjunção … e …
∨ Disjunção … ou … | … e/ou…
⇒ Implicação … implica … | se … então …
⇔ Equivalência … equivalente … | … se e só se … | … sse …
∀ Quantificador Universal Qualquer que seja … | Para todo o …
∃ Quantificador Existencial Existe pelo menos um …
∃1
Quantificador Exist. Unitário Existe um único …
/∃ — Não existe …
CONJUNTOS
∪ Reunião ou União … reunião com …
∩ Intersecção … intersecção com …
⊂ Inclusão própria … está contido em … | … é subconjunto de …
⊄ Não inclusão … não está contido em …
⊆ Inclusão … está contido ou é igual a …
∈ Pertença … pertence a …
∉ Não pertença … não pertence a …
\ Exclusão … excepto … | … menos …
: — … tal que … | … tais que …
…{ } Conjunto Conj. dos elementos … | Conj. definido pela(s) condição(ões) …
, [ ] Intervalo fechado Intervalo fechado de … até …
, ] [ Intervalo aberto Intervalo aberto de … até …
, [ [ Intervalo semi-aberto à direita Intervalo fechado de … até … aberto
, ] ] Intervalo semi-aberto à esquerda Intervalo aberto de … até … fechado
∅ ou { } Conjunto vazio Conjunto vazio
A Complementar Complementar do conjunto A
# Cardinalidade Cardinal do conjunto …
Vr (a) Vizinhança Vizinhança centrada em a, de raio r
Conjunto dos Naturais Conjunto dos números naturais
Conjunto dos Inteiros Conjunto dos números inteiros
Conjunto dos Racionais Conjunto dos números racionais
Conjunto dos Reais Conjuntos dos números reais
\ Conjunto dos Irracionais Conjunto dos números irracionais
Conjunto dos Complexos Conjunto dos números complexos
2 Conj. dos Pares Ordenados Reais Conjunto dos pontos do plano (usualmente)
3 Conj. dos Ternos Ordenados Reais Conjunto dos pontos do espaço (usualmente)
, ( ) Par ordenado Ponto do plano (usualmente)
, , ( ) Terno ordenado Ponto do espaço (usualmente)
© Paulo Ribeiro lógica bivalente • propriedades e notação • resumo [email protected] 2/2
SÍMBOLOS DE USO CORRENTE
≡ Identidade … é idêntico a …
= Igualdade … é igual a …
≠ Diferença … é diferente de …
Igualdade por definição … é igual por definição a …
Correspondência … corresponde a …
≈ — … é aproximadamente igual a …
— … assimptoticamente igual a …
Semelhança … é semelhante a …
∝ Proporcionalidade … é proporcional a …
∴ — Portanto
— Porque
→ — Tende para … | Aproxima-se de …
∞ — Infinito
> Maior … é maior do que …
≥ Maior ou igual … é maior ou igual a …
< Menor … é menor do que …
≤ Menor ou igual … é menor ou igual a …
>> Muito maior … é muito maior do que …
<< Muito menor … é muito menor do que …
± Mais e/ou menos Mais ou menos
A ou A Valor médio Valor médio de A
A Módulo ou Valor absoluto Módulo de A | Valor absoluto de A
Δ Variação finita Variação, diferença ou incremento de …
d — Diferencial Total
∂ — Diferencial Parcial
∑ — Somatório
∏ — Produtório
∫ — Integral
ABC Comprimento de arco ou curva Comprimento do arco ABC
AB Comprimento, Distância Comprimento do segmento AB
V
ou V Vector Vector V
V Versor Versor V
V
Norma, Comprimento, Módulo Norma do vector V
∠ ou — Ângulo
— Paralelo
⊥ — Perpendicular
NÚMEROS ESPECIAIS
Valor
π (Pi) Razão entre o perímetro e o diâmetro de qualquer circunferência 3,14159265358979323846…
e Número de Neper ou Napier 2,71828182845904523536…
i (3) Unidade Imaginária −1
Φ (Phi) Número de ouro ou Razão de ouro 1+ 52
≈ 1, 618033989…
(3) em electrotecnia e eletricidade usa-se o j em vez do i para não confundir com a corrente eléctrica, cujo símbolo também é i.