Relacionado

Símbolos de Lógica


por Peter Faber
Última verificação: 8 de abril de 2026

Veja abaixo os símbolos de lógica mais usados dentro dos símbolos matemáticos, com explicações claras sobre o que cada um expressa. Toque ou clique no símbolo para copiar.

Símbolo Nome Descrição
∧E∧ liga duas proposições e só é verdadeira quando ambas são verdadeiras; em p ∧ q, basta que q seja falsa para tudo cair.
∨OUEm p ∨ q pelo menos uma das proposições precisa ser verdadeira, e isso é exatamente o que ∨ faz.
¬NÃO¬ inverte o valor de uma proposição: se p é verdadeira, então ¬p é falsa.
→ImplicaRelação condicional expressa por →; por exemplo, p → q diz que sempre que p ocorrer, q deve seguir.
↔Se e somente se↔ exige equivalência total: p ↔ q vale quando p e q têm exatamente o mesmo valor de verdade.
⊤Verdadeiro⊤ representa uma proposição sempre verdadeira no sistema lógico.
⊥Falso ou contradição⊥ pode indicar falsidade lógica ou uma contradição impossível de satisfazer.
∀Para todoQuantificador universal ∀: em ∀x P(x) a propriedade precisa valer para cada possível x.
∃Existe∃ garante pelo menos um caso; ∃x P(x) significa que algum x satisfaz P.
∄Não existe∄ nega a existência de qualquer elemento que satisfaça a condição dada.
⊢ProvaQuando você escreve Γ ⊢ φ, o símbolo ⊢ marca que φ pode ser deduzida das hipóteses em Γ.
⊨Consequência lógica⊨ indica que uma fórmula é verdadeira em todos os modelos que satisfazem certas premissas.