Definição: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 96:
* f(3)= 2f(2)+3= 2•21+3= 45,
* f(4)= 2f(3)+3= 2•45+3= 93.
===Definição do número e ===
Outro exemplo de definição recursiva ou indutiva é a definição do conjunto das fórmulas bem formadas na Lógica de Primeira Ordem. Na Lógica de primeira ordem, as fórmulas bem formadas são as palavras sobre o alfabeto da sua linguagem que são de fato fórmulas válidas. Podemos definir recursivamente o conjunto das fórmulas bem formadas (FBF), como sendo '''o menor conjunto''' que satisfaz:
| |||