Indietro

ⓘ Formula ben formata




                                     

ⓘ Formula ben formata

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

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