Temas ya vistos

Ya vimos lo referente a la sintaxis del cálculo proposicional, y empezamos a ver el sistema deductivo de este desarrollo. Vimos ya los primeros teoremas formales.