Anexo:Lista de símbolos lógicos

Por limitações técnicas, alguns navegadores podem não mostrar alguns caracteres especiais deste artigo.

Ver também: Lógica proposicional

Na lógica, um conjunto de símbolos é comumente usado para representar uma expressão lógica. Como os lógicos estão familiarizados com estes símbolos, eles não são explicados cada vez que eles são usados. Então, para estudantes da lógica, a tabela seguinte lista os símbolos mais comuns, junto com seu nome, pronuncia e área da matemática relacionada. Além disso, a terceira coluna contém uma definição informal acerca do símbolo, e a quarta coluna dá um pequeno exemplo.

Esteja ciente de que, fora da lógica, diferentes símbolos têm o mesmo significado, e tem o mesmo símbolo, mas dependendo do contexto, os significados podem ser diferentes.

Símbolos lógicos básicos

Símbolo	Nome	Explicação	Exemplos	Valor Unicode	Entidade HTML	Símbolo em LaTeX
	Deve ser lido como
	Categoria
⇒ → ⊃	condicional material	A ⇒ B é verdade somente no caso em que A é falso ou B é verdadeiro, ou ambos. → pode significar o mesmo que ⇒ (o símbolo também pode indicar o domínio e o contradomínio de uma função; veja Anexo:Tabela de símbolos matemáticos). ⊃ pode significar o mesmo que ⇒ (o símbolo também pode significar superconjunto).	x = 2  ⇒  x2 = 4 is true, but x2 = 4   ⇒  x = 2 is in general false (since x could be −2).	U+21D2 U+2192 U+2283	⇒ → ⊃	$\Rightarrow$\Rightarrow $\to$\to $\supset$\supset
	implica; se .. então
	lógica proposicional, álgebra de Heyting

Ver também

A Wikipédia possui o portal: Lógica {{{Portal2}}} {{{Portal3}}} {{{Portal4}}} {{{Portal5}}}

• Anexo:Tabela de símbolos matemáticos
• Notação polonesa

Links externos

• Entidades de caracteres nomeadas em HTML 4.0.