Lógica de las tautologías

is presented as extension of classical propositional calculus, the deductive system lt: logic of the tautologies. in the lt system, the meta-logical notions of tautology, contradiction, refutable and contingency are formalized. the lt system, is characterized as a kripke-style semantic, and can be seen as an extension of the modal logic system s5.