formula ben formata

formula ben formata

formula ben formata in un linguaggio formale, formula costruita seguendo l’insieme delle regole di tale linguaggio; le formule ben formate (spesso abbreviate in fbf) costituiscono perciò gli oggetti del linguaggio in questione (→ enunciati, linguaggio degli). Per esempio, la formula a ∨ b ⇒ c è una formula ben formata del linguaggio degli enunciati perché ottenuta tramite l’applicazione delle regole di tale linguaggio. Al contrario, una scrittura quale ∧ ⇔ a non è una formula ben formata perché è scritta giustapponendo due simboli logici, cosa non permessa dalle regole di costruzione del linguaggio degli enunciati.