SD - Lógica proposicional
Conditions d'achèvement
...