Este documento contém uma lista de exercícios de lógica proposicional e lógica de predicados. A lista inclui exercícios sobre determinar o valor lógico de proposições, construir tabelas-verdade, traduzir sentenças para linguagem simbólica, e resolver problemas lógicos.