Este plano de aula apresenta as atividades para uma unidade didática sobre lógica proposicional. As atividades incluem a conclusão de um quadro sobre conectivas proposicionais, a elaboração de uma ficha sobre formalização lógica e a inferência de funções de verdade através de tabelas. O objetivo é consolidar conceitos lógicos e aplicar formalização e tabelas de verdade.