Início > Lógica Matemática > Índice de Símbolos

Í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

 

Gamma uc lc.svg

 

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 uc lc.svg Digamma Qoppa uc lc.svg Qoppa
San uc lc.svg San Sampi uc lc.svg Sampi
Outros caracteres
Stigma uc lc.svg Stigma Sho uc lc.svg Sho
Heta uc lc.svg Heta
Anúncios
Categorias:Lógica Matemática
  1. Nenhum comentário ainda.
  1. outubro 29, 2009 às 4:58 am
  2. outubro 30, 2009 às 1:52 am
  3. outubro 30, 2009 às 1:55 am

Deixe um comentário

Preencha os seus dados abaixo ou clique em um ícone para log in:

Logotipo do WordPress.com

Você está comentando utilizando sua conta WordPress.com. Sair / Alterar )

Imagem do Twitter

Você está comentando utilizando sua conta Twitter. Sair / Alterar )

Foto do Facebook

Você está comentando utilizando sua conta Facebook. Sair / Alterar )

Foto do Google+

Você está comentando utilizando sua conta Google+. Sair / Alterar )

Conectando a %s

%d blogueiros gostam disto: