Template:Individual-TLP-paragraph-pt-br-5.501

5.501 Uma expressão nos parênteses cujos têrmos sejam proposições — quando é indiferente a seqüência dos têrmos nos parênteses — indico por meio de um signo da forma “$({\bar {\xi }})$”. “ξ” é uma variável cujos valôres são os têrmos da expressão entre parênteses, e o traço sôbre a variável indica que esta substitui nos parênteses todos os seus valôres.

(Se, por exemplo, ξ tem 3 valôres P, Q, R, $({\bar {\xi }})$ = (P, Q, R).)

Serão fixados os valores das variáveis.

A fixação é a descrição das proposições que a variável substitui.

É inessencial como se dá a descrição dos têrmos da expressão entre parênteses.

Podemos distinguir três maneiras de descrever: 1) Enumeração direta; neste caso podemos, em lugar das variáveis, colocar simplesmente seus valôres constantes. 2) Indicação de uma função fx cujos valôres, para todos os valôres de x, constituam as proposições a serem descritas. 3) Indicação de uma lei formal segundo a qual cada proposição é formada; neste caso os têrmos da expressão entre parênteses são todos os têrmos de uma série formal.