Este documento apresenta uma lista de exercícios sobre métodos dedutivos da lógica sentencial. A lista contém 10 exercícios que pedem para provar teoremas usando apenas regras básicas da lógica proposicional. As soluções podem ser encontradas em um livro referenciado.