Revisão dos Conteúdos de Lógica Proposicional