Question

o que é regra de formação

Answer 1

Regras de formação[editar | editar código-fonte]As regras de formação definem os termos, fórmulas, e as variáveis livres como segue. O conjunto dos termos é definido recursivamente pelas seguintes regras:Qualquer constante é um termo (sem variáveis livres).Qualquer variável é um termo (cuja única variável livre é ela mesma).Toda expressão f (t1,…, tn) de n ≥ 1 argumentos (onde cada argumento ti é um termo e f é um símbolo de função de aridade n) é um termo. Suas variáveis livres são as variáveis livres de cada um dos termos ti.Cláusula de fechamento: Nada mais é um termo.