Revisão das 04h50min de 30 de janeiro de 2014 editar Tarpuq (discussão \| contribs) 24 edições →‎Definições recursivas ← Ver a alteração anterior		Revisão das 04h55min de 30 de janeiro de 2014 editar desfazer Tarpuq (discussão \| contribs) 24 edições →‎Definição do número e Ver a alteração posterior →
Linha 99: ===Definição do número e === ::;Passo base :::::f(0) = 1; g(1) = 1 ::;Passo recursivo 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:

Definição: diferenças entre revisões