5.234 Les fonctions de vérité des propositions élémentaires sont les résultats d'opérations ayant les propositions élémentaires pour base. (J'appelle ces opérations opérations de vérité.)