5 La proposition est une fonction de vérité des propositions élémentaires.

(La proposition élémentaire est une fonction de vérité d'elle-même.)