Template:Individual-TLP-paragraph-it-5.501

5.501 Indico un'espressione tra parentesi i cui termini sono proposizioni – se l'ordine dei termini nella parentesi è indifferente – mediante un segno della forma «$({\bar {\xi }})$». «ξ» è una variabile i cui valori sono i termini dell'espressione tra parentesi; e la linea sopra la variabile indica che essa sta per tutti i suoi valori nella parentesi.

(Se quindi, per esempio, ξ ha i 3 valori P, Q, R, allora $({\bar {\xi }})$ = (P, Q, R).)

I valori delle variabili si stabiliscono.

Il fatto di stabilirli consiste nel descrivere le proposizioni per cui sta la variabile.

Come avvenga la descrizione dei termini dell'espressione tra parentesi è inessenziale.

Noi possiamo distinguere tre modalità della descrizione: 1. L'enumerazione diretta. In questo caso possiamo semplicemente inserire al posto della variabile i suoi valori costanti. 2. L'enunciazione di una funzione f x i cui valori sono, per tutti i valori di x, le proposizioni da descrivere. 3. L'enunciazione di una legge formale secondo la quale quelle proposizioni sono costruite. In questo caso i termini dell'espressione tra parentesi sono tutti i termini di una serie formale.