Frie variabler og lukka formler

En variabelforekomst i en førsteordens formel er fri hvis den ikke er bundet. Det vil si hvis den ikke er innenfor skopet til en kvantor En formel er lukket hvis den ikke inneholder noen frie variabler. Det som kommer etter en kvantor er skopet til kvantoren. Hvis det er noen variabler som ikke kommer etter en kvantor er de altså fri.