Formula ben formata

Questa voce sull'argomento logica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

Nella logica matematica si chiama formula ben formata o - brevemente - FBF di un sistema formale una stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica del sistema formale stesso.

Definizioni specifiche di formula ben formata vengono date nell'ambito della logica proposizionale e dei linguaggi del primo ordine.

Collegamenti esterni

formula ben formata, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
(EN) well-formed formula, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.