Lista de símbolos lógicos

Origem: Wikipédia, a enciclopédia livre.
(Redirecionado de Lista de Símbolos Lógicos)
Ir para: navegação, pesquisa
Por limitações técnicas, alguns navegadores podem não mostrar alguns caracteres especiais deste artigo.

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[editar | editar código-fonte]

Símbolo
Nome Explicação Exemplos Valor
Unicode
Entidade
HTML
Símbolo
em LaTeX
Deve ser lido como
Categoria




condicional material AB é 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[editar | editar código-fonte]

Portal A Wikipédia possui o portal:

Notas[editar | editar código-fonte]


Links externos[editar | editar código-fonte]