| Wikipédia em português - A enciclop... |
Símbolo não lógico
O conjunto dos é a parte de uma linguagem de primeira ordem que informa a sua “área de especialidade” (além da expressividade geral). Uma idéia análoga pode ser vista na distinção entre axiomas lógicos e os axiomas “próprios”, “profissionais” da teoria específica que se está axiomatizando ou investigando.
Os símbolos não-lógicos são estruturados de acordo com a assinatura adotada. Eles são os símbolos de função e os símbolos de relação (predicados) dessa assinatura e cada um deles (seja símbolo de relação ou de função) tem uma aridade. As constantes, por serem funções 0-árias, são também símbolos não-lógicos.
| Veja mais na Wikipédia.org... |
Símbolo não-lógico
© Esse artigo usa material da Wikipédia® sob a licença Licença GNU de Documentação Livre e sob nos termos da licença Creative Commons Attribution-ShareAlike
