Índice de Símbolos

Uma das maiores dificuldades no aprendizado de lógica matemática é conhecer a aparente infinidade de símbolos utilizados na representação de variáveis, conectivos, constantes e operadores. Para unificar a localização e facilitar o entendimento, apresento aqui os símbolos mais comuns e frequentes no simbolismo lógico. A lista não está completa, existem ainda outros, mas estes são os mais comuns.

Símbolos da Lógica

Símbolo	Nome
⇒  →  ⊃	Condicional Implicação Material (Se… então)
⇔  ≡  ↔	Bicondicional  Equivalência Material (…se e somente se…)
¬  ˜  !	Negação  (não)
∧  •  &	Conjunção  (e)
∨  +	Disjunção  (ou)
⊕	Disjunção Exclusiva  (ou exclusivo)
⊤  T  1	Verum Tautologia
⊥  F  0	Falsum, Absurdum Contradição
∀	Quantificador Universal  (Para todo)
∃	Quantificador Existencial  (Existe um)
∃!	Quantificador Único*  (Existe somente um)
:=  ≡  :⇔	Definição  (é definido como…)
⊢	Consequência Sintática
⊨	Consequência Semântica

Alfabeto Grego

Alfabeto Grego
Αα	Alpha	Νν	Nu
Ββ	Beta	Ξξ	Xi
Γγ	Gamma	Οο	Omicron
Δδ	Delta	Ππ	Pi
Εε	Epsilon	Ρρ	Rho
Ζζ	Zeta	Σσς	Sigma
Ηη	Eta	Ττ	Tau
Θθ	Theta	Υυ	Upsilon
Ιι	Iota	Φφ	Phi
Κκ	Kappa	Χχ	Chi
Λλ	Lambda	Ψψ	Psi
Μμ	Mu	Ωω	Omega
Caracteres obsoletos
	Digamma		Qoppa
	San		Sampi
Outros caracteres
	Stigma		Sho
	Heta