5.557

L’application de la logique décide quelles sont les propositions élémentaires.