===== Deducción =====

==== Deducción Formal ====

El sitema de deducción basado en el lenguaje $L$