Símbolo (formal)
De Wikipedia, a enciclopédia encyclopedia
Símbolo lógico é um conceito fundamental em lógica, embora o termo "símbolo" normalmente seja utilizado em alguns momentos com a ideia de ser simbolizado; e em outros momentos para as marcas em um pedaço de papel ou quadro negro, que estão sendo usados para expressar essa ideia na linguagem formal. Estudado em matemática e lógica, o "símbolo" refere-se à ideia; e as marcas são consideradas como símbolos de instância. Na lógica, símbolos utilitários de construção literal são usados para ilustrar ideias.
Símbolos de uma linguagem formal não precisam ser símbolos "de nada". Por exemplo, há constantes lógicas que não se referem a qualquer ideia, mas sim servem como uma forma de pontuação na língua (por exemplo, parênteses). Os símbolos de uma linguagem formal devem ser capazes de serem especificados sem qualquer referência a qualquer interpretação destes.
Um símbolo ou string de símbolos pode compreender fórmulas bem formadas se for compatível com a regra de formação da linguagem.
Em um sistema formal, um símbolo pode ser usado como um sinal em operações formais. O conjunto de símbolos formais de linguagem formal é referida como um alfabeto (assim, cada símbolo pode ser referido como uma "carta")[1]
Um símbolo formal, como o usado em lógica de primeira ordem, pode ser uma variável (membro de um universo de discurso), uma constante, uma função (mapeamento para outro membro do universo) ou predicado (mapeando para T/F).
Símbolos formais são geralmente considerados como puramente sintaxe (lógica), estruturas sintáticas, composto em estruturas maiores e usando uma gramática formal, embora às vezes eles podem ser associados a uma interpretação ou modelo ( semântica formal).