SD - Lógica proposicional
Requisitos de finalización
...