title: Formula aperta
text: # Formula aperta
  
  Una formula aperta è una formula che contiene almeno una variabile libera.
  
  Una formula aperta non è associata ad un valore di verità, diversamente da una formula chiusa che è sempre una proposizione e che quindi può avere un valore di verità vero o falso . Una formula aperta può essere trasformata in una formula chiusa applicando i quantificatori o specificando il dominio del discorso degli individui per ogni variabile libera (indicata con x, y, z.... o con x_1 , x_2 , x_3, ecc.). Questo tipo di trasformazione è chiamata cattura delle variabili libere perché tende a trasformarle in variabili vincolate a un dominio di costanti individuali.
  
  Ad esempio, quando si ragiona sui numeri naturali, la formula " x +2 > y " è aperta, poiché contiene le variabili libere xe 'y . Al contrario, la formula " ∃ y ∀ x : x +2 > y " è chiusa grazie all'uso dei quantificatori e ha valore di verità vero.
  
  Un esempio di formula chiusa con valore di verità falso riguarda la sequenza dei numeri di Fermat:
  
      $F_{n}=2^{2^{n}}+1,$,
  
  studiata da Fermat in relazione alla proprietà dei numeri primi. Se si unsce il predicato P (è numero primo) a ogni nmero della sequenza si ottiene un insieme di formule chiuse false quando il rango n è maggiore di 4. Quindi, la formula chiusa ∀n $P(F_n)$ è falsa.
  
  