5.32 Toutes les fonctions de vérité sont des résultats d'applications successives d'un nombre fini d'opérations de vérité sur les propositions élémentaires.