Formula ben formata: differenze tra le versioni

Versione delle 00:43, 3 mar 2012

Versione attuale delle 15:07, 6 dic 2020

(7 versioni intermedie di 5 utenti non mostrate)

Riga 1:

{{S|logica}}

Nella [[logica matematica]] si chiama '''formula ben formata''' o - brevemente - '''fbfFBF''' 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 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|matematica}}

== Collegamenti esterni ==

[[Categoria:Logica matematica]]

* {{Collegamenti esterni}}

{{Portale|filosofia|linguistica|matematica}}

[[de:Logische Formel]]

[[en:Well-formed formula]]

[[Categoria:Logica matematica]]

[[es:Fórmula bien formada]]

[[Categoria:Teoria dei linguaggi formali]]

[[fr:Formule bien formée]]

[[ja:整論理式]]

[[la:Formula bene formata]]

[[pt:Fórmula bem formada]]

[[zh:合式公式]]