Formula ben formata: differenze tra le versioni

Versione delle 23:38, 16 nov 2013

Versione delle 17:08, 4 set 2014

Riga 1:

{{S|logica}}

Nella [[logica matematica]] si chiama '''formula ben formata''' o - brevemente - '''fbf''' di un [[sistema formale]] una [[stringaStringa (formalelinguaggi formali)|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 [[linguaggio del primo ordine|linguaggi del primo ordine]].