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 «( ξ̄ )». «ξ» è 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.