4.431 L'expression de l'accord et du désaccord avec les possibilités de vérité des propositions élémentaires exprime les conditions de vérité d'une proposition.

La proposition est l'expression de ses conditions de vérité. (Frege a donc eu tout à fait raison de les faire précéder par l'explication des signes de sa langue symbolique. Seulement l'explication du concept de vérité est chez Frege erronée : si « le vrai » et « le faux » étaient réellement des objets, et les arguments dans ~p etc., alors le sens de « ~p » ne serait en aucune manière déterminé par la détermination de Frege.)