Template:Individual-TLP-paragraph-fr-5.501

5.501 Une expression entre parenthèses, dont les membres sont des propositions dont l'ordre est arbitraire, je la note par un signe de la forme « $({\bar {\xi }})$ ». « ξ » est une variable dont les valeurs sont les membres de l'expression entre parenthèses ; et la barre au-dessus de la variable note que celle-ci représente l'ensemble de ses valeurs dans les parenthèses.

(Si par exemple ξ a les trois valeurs P,Q,R :

$({\bar {\xi }})$ = (P,Q,R).)

Les valeurs des variables sont fixées. On les fixe en décrivant les propositions dont la variable tient lieu.

Le mode de description des membres de l'expression entre parenthèses n'est pas essentiel.

Nous pouvons distinguer trois espèces de description : 1. L'énumération directe. En ce cas, nous pouvons, au lieu de la variable, poser simplement ses valeurs constantes. 2. La donnée d'une fonction fx, dont les valeurs pour toutes les valeurs de x sont les propositions à décrire. 3. La donnée d'une loi formelle, selon laquelle ces propositions sont construites. En ce cas, les membres de l'expression entre parenthèses sont l'ensemble des membres d'une série de formes.