Si consideri una fbf con qualche occorrenza libera di variabile: Cube(x)

Cube(x) non è un enunciato, e non è ne vera ne falsa in una data circonstanza

• Il valore di Cube(x) dipende anche dall'oggetto denotato da x, che però non è fissato.

Cube(x) può essere pensato come un insieme di enunciati, al variare di x nell'universo del discorso.

Sia A(x1, x2, .. xn) una fbf in cui occorrono libere le variabili x1, x2, ... xn.

• Allora: per ogni n-pla di oggetti (a1, a2, ... an) dell'universo U, si dice che (a1, a2, ... an) soddisfa A se e solo se A(a1, a2, ... an) è vera in U