SD - Lógica proposicional
Requisitos de conclusão
...