Texto el cual expone materiales referentes a los temas de lógica como lo son las proposiciones, sus operaciones, propiedades, así como los métodos de demostración con ejemplos interactivos.