O documento apresenta 10 exercícios de lógica proposicional resolvidos. Os exercícios envolvem simplificação de expressões lógicas, construção de tabelas de verdade, tradução de proposições para linguagem natural e determinação do valor lógico de proposições.