Sintaxe (lógica): diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Linha 1:
Em [[lógica]], o termo '''sintaxe''' refere-se às regras que regem a composição dos textos em uma [[linguagenslinguagem formaisformal]] que constituem as [[fórmulas bem formadas]] de um sistema lógico. NoAo caso defornecer uma [[interpretação (lógica)|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 de linguagens de programação|sintaxe]] refere-se às regras que regem a composição dos textos no sentido formal de uma língua, como uma [[linguagem de programação]], isto é, os textos por que faz sentido definir a [[semântica]] ou significado, ou fornecer uma interpretação.
==Veja também==
 
==VejaVer também==
 
* [[Gramática formal]]
* [[Sintaxe|Sintaxe (lingüística)]]
* [[Lógica matemática]]
 
==Referências==
 
* [http://en.wikipedia.org/wiki/Syntax_(logic) Syntax (logic)] {{en}}
 
[[CategoryCategoria:Lógica]]