5.01

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