Sintaxe (lógica)
Em lógica, o termo sintaxe refere-se às regras que regem a composição dos textos em uma linguagem formal que constitui as fórmulas bem formadas de um sistema lógico. Ao fornecer uma interpretação, não faz sentido atribuir um significado para textos que não são fórmulas bem formadas.
Na ciência da computação, o termo sintaxe refere-se às regras que regem a composição de textos com significado em uma linguagem formal, tal como uma linguagem de programação, isto é, os textos para os quais faz sentido definir a semântica ou significado, ou fornecer uma interpretação.
Sintaxe da lógica proposicional editar
A sintaxe da lógica proposicional é definida pela gramática
onde P é um conjunto enumerável de símbolos de proposições. De acordo com esta gramática, são exemplos de fórmulas bem formadas na lógica proposicional:
Também é normal incluir-se na sintaxe a fórmula (absurdo) e (tautologia), como construtores 0-ários.
Sintaxe da lógica de primeira ordem editar
A sintaxe da lógica de primeira ordem é parametrizada pela tupla , onde:
- é a assinatura de termos, isto é, o conjunto de símbolos não-lógicos da lógica de primeira ordem. é um conjunto de símbolos de funções e (onde é o conjunto dos números naturais) é uma função de aridade que, a cada símbolo de , associa o número de argumentos do respectivo símbolo (0 para as constantes).
- é a assinatura de predicados. é um conjunto de símbolos de predicados e (onde é o conjunto dos números naturais) associa o número de argumentos a cada símbolo de predicado.
Ver também editar