Formula ben formata: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot, replaced: Categoria:Linguaggi formali → Categoria:Teoria dei linguaggi formali |
Nessun oggetto della modifica |
||
Riga 1:
{{S|logica}}
Nella [[logica matematica]] si chiama '''formula ben formata''' o - brevemente - '''fbf''' di un [[sistema formale]] una [[Stringa (linguaggi formali)|stringa]] di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della [[grammatica formale|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]].
{{Portale|filosofia|linguistica|matematica}}
[[Categoria:Logica matematica]]
| |||