Finalizada a seção sobre álgebra booleana. Iniciando seção sobre Coq.