5.01 Les propositions élémentaires sont les arguments de vérité de la proposition.