Lista de símbolos lógicos

Na lógica, é comum usar um conjunto de símbolos para representar uma expressão lógica. Esses
símbolos não são explicados cada vez que são usados pois os lógicos já são familiarizados estudantes
da lógica, a tabela a seguir lista os símbolos mais comuns, junto com seu nome, leitura e área da
matemática relacionada. A terceira coluna contém uma definição informal sobre o símbolo, e a quarta
coluna oferece exemplo. 

Fora do campo da lógica, diferentes símbolos têm o mesmo significado, e para um mesmo símbolo, a
depender do contexto, os significados podem ser diferentes.

Símbolos lógicos básicos

Entid
Ler como ade Símbolo
Símb Valor
Explicação Exemplos
olo HTM LaTeX
Categoria Unicode
L

condicional A ⇒ B é verdade

(implicação) (em 3 das 4
possibilidades)
implica, ambos falsos,
ambos verdadeiros
se .. então
ou B verdadeiro
x = 2  ⇒  x2 = 4 é
→ pode significar verdadeiro,
&rAr
o mesmo que ⇒ mas x2 = 4 \
⇒ (pois existe outro r;
⇒  x = 2 é, U+21D2 Rightarro
caso onde ele considerando w
→ indica a relação todas as &rar
entre domínio e U+2192 \to
possibilidades r;
lógica contra domínio de \supset
falso U+2283
⊂ proposicional,  uma função; &sup
(considerando \implies
Heyting veja tabela de ;
símbolos que o x poderia
álgebra ser também −2).
matemáticos).

⊂ pode significar o
mesmo que ⇒
(pois existe outro
caso onde ele
indica subconjunto
).

⇔ se e somente U+21D4
A ⇔ B é verdade x + 5 = y + 2  ⇔   \
se (sse) &hA
apenas se A e B x + 3 = y Leftrighta
rr;
≡ forem falso U+2261 rrow
se e apenas se;

1
 sse

lógica
↔
proposicional ou A e B forem \equiv
verdadeiro. U+2194 &equiv \
; leftrightarr
A<->B é verdade ow
¬ negação &not
A proposição ¬A é ¬(¬A) ⇔ A U+00AC ; \lnot or \
negado verdadeiro se e
˜ neg
somente se A é x ≠ y  ⇔ 
¬(x = y) U+02DC &tild \sim
lógica falso.
! proposicional e; ~

conjunção
logica
∧ A
n < &and
e (and) proposição A ∧ B é U+2227 ; \wedge
4  ∧  n >2  ⇔  n 
verdadeiro or \land
• = 3 quando n é
lógica se A e B são ambos um numero U+0026 &am \&[1]
proposicional,  verdadeiro; senão natural.
& é falso. p;
Álgebra
booleana

disjunção
lógica A
∨ (inclusiva) proposição A ∨ B é
n ≥ 4  ∨  n ≤
verdadeiro
2  ⇔ n ≠ 3
ou (or) se A ou B (ou \lor or \
+ quando n é U+2228 &or;
ambos) é vee
um número
lógica verdadeiro; se
natural.
ǀǀ proposicional,  ambos são falsos, a
Álgebra proposição é falsa.
booleana

Disjunção A
exclusiva proposição A ⊕ B 
é verdadeira
xor quando pelo (¬A) ⊕ A é U+2295
⊕ menos um A ou B, sempre &opl \oplus
mas nunca ambos, verdadeiro, A ⊕  us;
lógica \veebar
é A é sempre falso. U+22BB
⊻ proposicional, 
verdadeiro. A ⊻ B t
Álgebra
em mesmo
booleana
significado.

Tautologia A proposição ⊤ é,
independente de A ⇒ ⊤ é sempre
U+22A4 T \top
⊤ verdade, condições, verdadeiro.
verdadeiro, verdadeira.

2
 (top, verum)

lógica
proposicional, 
Álgebra
T booleana

1 Contradição

(bottom,
⊥ falsum)
falsidade, A proposição ⊥ é,
⊥ ⇒ A é sempre &per
falso independente de U+22A5 \bot
F verdadeiro. p; F
condições, falsa.
lógica
0 proposicional, 
Álgebra
booleana

quantificador
universal

para todo;
∀ ∀ x: P(x) ou
para qualquer
(x)P(x) significa  &for
um; ∀ n ∈ ℕ: n2 ≥ n. U+2200 \forall
all;
P(x) é verdadeiro
() para cada
para todo x.
lógica de
primeira
ordem

quantificador
existencial

existe; ∃ x: P(x) significa

que há pelo menos
∃ n ∈ ℕ: &exis
∃ há pelo menos um x para U+2203 \exists
um onde n é par. t;
o qual P(x) é
verdadeiro.
lógica de
primeira
ordem

quantificador
para unicidade ∃! x: P(x) significa
que existe
existe exatamente ∃! n ∈ ℕ: n + U+2203 U+ &exis
∃! exatamente \exists !
um x para o 5 = 2n. 0021 t; !
um qual P(x) é
verdadeiro.
lógica de
primeira

3
 ordem

definição x := y ou x ≡ y sign
ifica x está sendo
é definido definido como
como outro nome U+2254 :=
cosh x := (1/2)
:= usando y (mas note (U+003A U :=
(exp x + :
que ≡ pode +003D)
exp (−x)) \equiv
significar congruên
≡ &equ
cia). \
U+2261 iv;
A XOR B :⇔ Leftrighta
conceito
:⇔ (A ∨ B) ∧ ¬(A ∧  &hA rrow
universal P :⇔ Q significa  U+003A U+
B) rr;
P está sendo 229C
definido para
ser logicamente
equivalente a Q.

grupo que
possui
precedência é realizado
primeiro as (8 ÷ 4) ÷ 2 = 2 ÷
U+0028 U+
() parênteses, operações de 2 = 1, mas 8 ÷ (4 ()  ( )
0029
(brackets) dentro do ÷ 2) = 8 ÷ 2 = 4.
parenteses.
conceito
universal

Catraca
x ⊢ y
deduz que
significa y permite
A → B ⊢ ¬B → &#88
⊢ lógica ser provado a U+22A2 \vdash
¬A 66;
proposicional,  partir de x (em um
lógica de sistema formal
primeira especificado).
ordem

dupla catraca
x ⊨ y significa que
acarreta A → B ⊨ ¬B → &#88
⊨ x semanticamente U+22A8 \vDash
¬A 72;
acarreta y
lógica
proposicional

Padrão unicode para os símbolos

Os simbolos são organizados pelo seu valor Unicode:

4
 U+00B7 · MIDDLE DOT, forma desatualizada para denotar AND, [2] ainda é usada em electrônica;
por exemplo "A·B" é o mesmo que "A&B"
 ·: Ponto centralizado com uma linha acima. forma desatualizada para denotar NAND, por
exemplo "A·B" é o mesmo que "A NAND B" ou "A|B" ou "¬(A & B)". veja
Unicode U+22C5 ⋅ DOT OPERATOR.
 U+0305  ̅  COMBINING OVERLINE, utilizado como abreviatura para os numerais padrões
(Typographical Number Theory). Por exemplo, em html "4̅"é atalho para o numeral padrão
"SSSS0".
 Overline, é usado para denotar Gödel numbers, por exemplo "AVB" significa o Gödel number de
"(AVB)"
 Overline é também uma forma desatualizada para denotar negação, ainda é usado em electrônica;
por exemplo "AVB" é o mesmo que "¬(AVB)"
 U+2191 ↑ UPWARDS ARROW or U+007C | VERTICAL LINE: Sheffer stroke, o indicador de operador
NAND.
 U+2201 ∁ COMPLEMENTAR
 U+2204 ∄ THERE DOES NOT EXIST: nega o quantificador existencial da mesma forma que "¬∃"
 U+2234 ∴ SINAL DE CONCLUSÃO
 U+2235 ∵ SINAL DE EXPLICAÇÃO
 U+22A7 ⊧ MODELS: é modelo de
 U+22A8 ⊨ TRUE: é verdadeiro que
 U+22AC ⊬ DOES NOT PROVE: é o negado de ⊢, o indicador de "não é possível provar que", por
exemplo T ⊬ P quer dizer "P não é um teorema de T"
 U+22AD ⊭ NOT TRUE: não é verdadeiro que
 U+22BC ⊼ NAND: indicador de operador NAND, pode ser gerado dessa forma ∧
 U+22BD ⊽ NOR: indicador de operador NOR , pode ser gerado dessa forma V
 U+22C4 ⋄ DIAMOND OPERATOR: operador modal para "é possível que", "isto não é
necessáriamente negado" ou raramente "isto não é possível provar que não" (na maioria da logica
modalé definido como "¬◻¬")
 U+22C6 ⋆ STAR OPERATOR: geralmente usado para os operadores ad-hoc
 U+22A5 ⊥ UP TACK or U+2193 ↓ DOWNWARDS ARROW: Webb-operator or Peirce arrow,
indicador para o operador NOR. de maneira confusa, "⊥" tambpém é indicador para contradição
ou absurdo.
 U+2310 ⌐ REVERSED NOT SIGN
 U+231C ⌜ TOP LEFT CORNER y U+231D ⌝ TOP RIGHT CORNER: citações de canto, também
chamada de "aspas" Quine; quasi-citação, ou seja, citando em contexto específico expressões não
especificadas ("variáveis"); [3] É também usado para indicar o número de Gödel;[4] 2 por exemplo

5
 ⌜G⌝ indica o número de Gödel de G. (Nota tipográfica: embora as citações de listado apareceram
como um "par" em Unicode 231c e 231D), em alguns fontes não são simétricas. Em algumas
fontes (por exemplo, Arial) só são simétricos em alguns tamanhos. Alternativamente, as vírgula
pode ser representada como ⌈ e ⌉ U+2308 e U+2309) ou utilizando um símbolo de negação e o
outro investido ⌐ ¬ em modo sobrescrito.)
 U+25FB ◻ WHITE MEDIUM SQUARE or U+25A1 □ WHITE SQUARE: operador modal para "é
necessário que" (em lógica modal), ou "é provável que" (na lógica demonstrativa), ou "é
obrigatório que" (na lógica deôntica), ou "acredita-se que" (em lógica doxástica).

Note-se que os seguintes operadores raramente são suportado por fontes instaladas nativamente. Se se
quiser usá-los em uma página web, deve-se sempre incorporar as fontes necessárias para que o
visualizador de páginas possa ver a página web sem ter as fontes necessárias instaladas no seu
computador.

 U+27E1 ⟡ WHITE CONCAVE-SIDED DIAMOND

 U+27E2 ⟢ WHITE CONCAVE-SIDED DIAMOND WITH LEFTWARDS TICK: operador modal para nunca
foi
 U+27E3 ⟣ WHITE CONCAVE-SIDED DIAMOND WITH RIGHTWARDS TICK: operador modal para
nunca será
 U+27E4 ⟤ WHITE SQUARE WITH LEFTWARDS TICK: operador modal para sempre foi
 U+27E5 ⟥ WHITE SQUARE WITH RIGHTWARDS TICK: operador modal para nunca foi
 U+297D ⥽ RIGHT FISH TAIL: muitas vezes utilizado para "relação", também usado para denotar
várias relações ad hoc (por exemplo, para denotar "testemunho" no contexto do truque de Rosser).
O gancho de peixes também é usado como implicação estrita de C.I.Lewis  ⥽ , a macro LaTeX
correspondente é \strictif. Consulte aqui para uma imagem do glifo. Adicionado a Unicode 3.2.0.
 U+2A07 ⨇ TWO LOGICAL AND OPERATOR

Fonte de Pesquisa: https://pt.wikipedia.org/wiki/Lista_de_s%C3%ADmbolos_l%C3%B3gicos