Template:Individual-TLP-paragraph-fr-5.47

5.47 Il est clair que ce qui peut simplement être dit par avance de la forme de toutes les propositions, doit pouvoir se dire en une seule fois.

Toutes les opérations logiques sont déjà contenues dans les propositions élémentaires. Car « fa » dit la même chose que : « (∃fx) . fx . x = a ».

Là où il y a composition, il y a argument et fonction, et avec eux sont présentes toutes les constantes logiques.

On pourrait dire que la constante logique unique est ce que toutes les propositions, de par leur nature, ont en commun.

Mais cela, c'est la forme générale de la proposition.