Formula ben formata: differenze tra le versioni

Versione delle 13:01, 2 set 2005

Versione attuale delle 15:07, 6 dic 2020

(30 versioni intermedie di 23 utenti non mostrate)

Riga 1:

{{stubS|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.

Nell' ambito della [[logica dei predicati del primo ordine]] una '''formula ben formata''' per un [[linguaggio del primo ordine]] <math>L</math> o prevemente una '''fbf''' si definisce induttivamente nel seguente modo:

Definizioni specifiche di formula ben formata vengono date nell'ambito della [[logica proposizionale]] e dei [[linguaggio del primo ordine|linguaggi del primo ordine]].

<blockquote style="padding: 1em; border: 2px dotted purple;">

== Collegamenti esterni ==

:1) ogni [[formula atomica]] di <math>L</math> è una ''fbf'' di <math>L</math>;

* {{Collegamenti esterni}}

:2) se <math>\mathcal A</math> e <math>\mathcal B</math> sono ''fbf'' allora lo sono anche <math>\neg \mathcal A</math> e <math>\mathcal A \rightarrow \mathcal B</math>, e <math>\forall x \mathcal A</math>;

:3) tutte e sole le ''fbf'' sono definite dalle regole precedenti;

{{Portale|filosofia|linguistica|matematica}}

<blockquote>

[[Categoria:Logica matematica]]

[[Categoria:Teoria dei linguaggi formali]]