Introducción al Curso y Cálculo Proposicional en Coq