SD - Lógica proposicional
Completion requirements
...