5.501 Un término entre paréntesis cuyos miembros son proposiciones, lo denoto – cuando el orden de los miembros entre paréntesis es igualmente válido – mediante un signo de la forma «». «ξ» es una variable cuyos valores son los miembros del término entre paréntesis, y la barra sobre la variable indica que ella representa todos sus valores en los paréntesis.

(Así, si tiene ξ, digamos, los tres valores P, Q, R, entonces es = (P, Q, R)).

Los valores de las variables son establecidos.

El establecimiento es la descripción de las proposiciones, las cuales la variable representa.

Cómo aparezca la descripción de los miembros del término entre paréntesis, es irrelevante.

Podemos diferenciar tres tipos de descripción: 1. La enumeración directa. En este caso podemos sencillamente poner, en lugar de las variables, sus valores constantes. 2. La indicación de una función fx cuyos valores son las proposiciones a describir para todos los valores de x. 3. La indicación de una ley formal según la cual aquellas proposiciones son construidas. En este caso, los miembros del término entre paréntesis son todos los miembros de una serie de formas.