Lista de símbolos lógicos

Origem: Wikipédia, a enciclopédia livre.

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.

Índice
1 Símbolos lógicos básicos
2 Padrão unicode para os símbolos
2.1 Polónia e Alemanha
3 Veja também
4 Notas
5 Outras leituras
6 Ligações externas

Símbolos lógicos básicos

Ler como Unicode Entidade
Símbolo Explicação Exemplos Valor HTML LaTeX
Categoria

condicional A B é verdade (em 3 das

(implicação) 4 possibilidades) ambos
falsos, ambos verdadeiro
implica,
ou B verdadeiro
se .. então

→ pode significar o mesmo

que (pois existe outro U+21D2 ⇒
caso onde ele indica a x=2 x2 = 4 é

relação entre domínio e verdadeiro, mas x2 = 4 \to

x = 2 é, considerando U+2192 →
→ \supset
contra domínio de todas as possibilidades
uma função; veja tabela de falso (considerando que o x
U+2283 ⊃
lógica proposicional, poderia ser também −2).
símbolos matemáticos).
⊃ Heyting álgebra

⊃ pode significar o mesmo

que (pois existe outro
caso onde ele
indica subconjunto).

se e somente se (sse) A B é verdade apenas

se e apenas se; sse se A e B forem falso U+21D4 ⇔
ou A e B forem verdadeiro.
\equiv
≡ U+2261 ≡
x+5=y+2 x+3=y
\leftrighta
A<->B é verdade quando
lógica proposicional
( A -> B & B -> A) U+2194 &harr;
é verdade

negação
¬
negado
U+00AC &not;
A proposição ¬A é ¬(¬A) A
˜ verdadeiro se e somente x≠y ¬(x = y)
se A é falso. U+02DC &tilde; ~
lógica proposicional

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

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

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

Tautologia

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

lógica proposicional,
Álgebra booleana
1
Contradição

⊥ (bottom, falsum) falsidade,

falso
A proposição ⊥ é,
⊥ A é sempre
F independente de U+22A5 &perp; F
condições, falsa. verdadeiro.
lógica proposicional,
Álgebra booleana

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

existe; ∃ x: P(x) significa que há

∃ há pelo menos um pelo menos um x para
o qual P(x) é verdeiro.
∃ n ∈ ℕ: onde n é par. U+2203 &exist;

lógica de primeira ordem

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

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

grupo que possui

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

conceito universal

Catraca x⊢y
deduz que significa y permite ser

⊢ lógica proposicional, lógica

provado a partir de x (em
um sistema formal
A → B ⊢ ¬B → ¬A U+22A2 &#8866;

de primeira ordem especificado).

dupla catraca x ⊨ y significa que x

semanticamente acarreta y
acarreta
⊨ A → B ⊨ ¬B → ¬A U+22A8 &#8872;
lógica proposicional, lógica
proposicional

Padrão unicode para os símbolos

os simbolos são organizados pelo seu valor Unicode:

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 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 ⌜G⌝ indica o número de Gödel de G. nota tipografia: 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 contribuições pode ser representada como ⌈ e ⌉ U+2308 e U+2309) ou utilizando um símbolo de negação e o símbolo de negação 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 ⥽ , o correspondente macro LaTeX é \strictif. Consulte aqui (http://www.fileformat.inf
o/info/unicode/char/297d/index.htm) para uma imagem do glifo. Adicionado a Unicode 3.2.0.

Polónia e Alemanha
A de 2014, na Polónia, o quantificador universal é por vezes escrito e o quantificador existencial como . O mesmo se aplica para a Alemanha.

Veja também
Józef Maria Bocheński
Lista de símbolos matemáticos
Conectivo lógico
Notação polonesa
Função veritativa
Tabela verdade

Notas
1. Although this character is available in LaTeX, the MediaWiki TeX system doesn't support this character.
2. Brody, Baruch A. (1973), Logic: theoretical and applied, Prentice-Hall, p. 93, ISBN 9780135401460, “We turn now to the second of our connective symbols, the centered dot, which is
called the conjunction sign.”
3. Quine, W.V. (1981): Mathematical Logic, §6
4. Jaakko, Hintikka (1998). «The Principles of Mathematics Revisited» (https://books.google.com/books?id=JHBnE0EQ6VgC&pg=PA113). Cambridge University Press. p. 113.
ISBN 9780521624985.

Outras leituras
Józef Maria Bocheński (1959), A Précis of Mathematical Logic, trans., Otto Bird, from the French and German editions, Dordrecht, South Holland: D. Reidel.

Ligações externas
Named character entities (http://www.w3.org/TR/WD-html40-970708/sgml/entities.html) em HTML 4.0 (em inglês)
span contenteditable="false">

Obtida de "https://pt.wikipedia.org/w/index.php?title=Lista_de_símbolos_lógicos&oldid=50050461"

Esta página foi editada pela última vez à(s) 14h18min de 6 de outubro de 2017.

Este texto é disponibilizado nos termos da licença Creative Commons - Atribuição - Compartilha Igual 3.0 Não Adaptada (CC BY-SA 3.0); pode estar sujeito a condições adicionais. Para mais
detalhes, consulte as condições de uso.