Loading AI tools
stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica di un sistema formale Da Wikipedia, l'enciclopedia libera
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.