O documento apresenta exercícios sobre proposições lógicas e tabela verdade. Os exercícios incluem identificar proposições, dar formas negativas de proposições, traduzir proposições para linguagem corrente, determinar valores lógicos de proposições, e construir tabelas verdade.