Uma axiomatização para o Cálculo Proposicional
Abstract
Propositional Calculus is, no doubt, one of the main topics in mathematical logic. The checking out of the veritable character of formulae is quite important in it, although traditional methods such as tables of truth and normal forms become tiring or even impracticable sometimes. So, there is a meed for a theory for Propositional Calculus, that is, a building up of axioms for Propositional Calculus. In this article we will present one theory among so many others already existing.
Downloads
Downloads
Published
Issue
Section
License
Esta licença permite que outros distribuam, remixem, adaptem e criem a partir do seu trabalho, mesmo para fins comerciais, desde que lhe atribuam o devido crédito pela criação original.
A responsabilidade sobre o conteúdo das publicações são total e exclusiva dos autores, que mantêm os direitos autorais e atribuem o direito de primeira publicação para a Revista de Estudos Universitários (REU). Ao submeter o artigo, o(s) autor(es) garante(m) que ele não contém nenhuma violação de quaisquer direitos autorias.
A remessa de originais implica a autorização para publicação e disponibilização on-line sem o pagamento de direitos atorais.
A reprodução de artigos publicados na Avaliação só é permitida com indicação da fonte.
