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.