<aside> ☝ Una formula che non contiene occorrenze di variabili libere si dice chiusa, altrimenti si dice aperta.

</aside>

• Una FBF chiusa è detta anche proposizione o enunciato
  • Essendo chiusa è interpretabile come vera o falsa
  • Le proposizioni atomiche introdotte nella logica proposizionale sono atomiche chiuse (hanno solo constanti che riempono predicati, quindi nessuna occorrenza di variabili libere. Sono atomiche perche sono le più semplici fbf, quindi quelle della forma P(t1, t2.. tn), dove P e il predicato, che era Tet, Between, Uomo..., e t1, t2, .. tn sono termini per cui usavamo costanti)