Abstract

The complete arithmetization of the bivalued propositional logic is here presented and extended with original functions not hitherto included in other interpretations of propositional logic, as the algebraic logic or sets theory. An historical review of the former attempts of arithmetical representation of the propositional logic is presented.