Sistemas Formais e Valorações: Sobre Um Teorema Geral de Completude.

Este trabalho tem como objetivo primeiro introduzir, da maneira mais didática possível, o cálculo proposicional clássico e a novação clássica de valoração e através dela demonstrar a consciência e a completude...Tomando por base este estudo primeiro, pôde-se estender esta noção de valoração para algumas classes especiais de subconjuntos de fórmulas, para isso foi desenvolvida uma novação de valoração completamente geral e independente da presença de um cálculo subjacente à ela, o que se afigura cerne deste trabalho e aponta direções em torno de uma teoria geral das valorações...Afora o cálculo proporcional e o estudo da valorações, também faz parte deste trabalho um breve estudo acerca da equivalência entre estruturas, para isso houve a necessidade de ser estuda uma noção geral de estrutura matemática, que será apresentada no apêndice desta dissertação.