DEFINICAO DE CONJUNTOS DECIDIVEIS DE VALORACOES PELA FATORIZACAO DA LINGUAGEM.

DEFINIMOS DE MANEIRA RIGOROSO, O QUE E UMA FATORIZACAO DE UMA LINGUAGEM PROPORCIONAL COM UM NUMERO FINITOS DE CONECTIVOS FINITARIOS E UMA SEQUENCIA ENUMERAVAL DE VARIAVEIS PROPOSICIONAIS, DEFINIMOS O QUE E UM C ONJUNTO NORMAL DE VALORACOES COM RESPEITO A UMA LINGUAGEM PROPOSIONAL E UM CONJUNTO FINITO DE VALORES DE VERDADE ARREGIMENTAMOS A METALINGUAGEM PARA ESTABELECER A FORMA GERAL DE CERTOS ENUNCIADOS METALINGUISTIC O EM ESTABELECER A FORMA GERAL DE CERTOS ENUNCIADOS METALINGUISTICOS E MOSTRAMOS QUE: 1- ESSES ENUNCIADOS FORMULAM DEFINICOPES RECURSIVAS DE CONJUNTOS FORMAIS DE VALORACOES; 2- QUE OS CALCULOS DEFINIDOS POR MEI TO VAZIO; 4- FORMULAREMOS A CONDICAO NECESSARIA E SUFICIENTE PARA QUE O OBJETO DEFINIDO POR UM ENUNCIADO DESSE TIPO SEJA UM CALCULO FUNCIONAL POLIVALENTYE 5- AFIRMAMOS QUE QUALQUER CALCULO PROPOSIONAL DECIDIVEL PODE SER DEFINIDO POR ENUNCIADO DESSE TIPO.