Formula ben formata: differenze tra le versioni

Versione delle 13:01, 2 set 2005

Versione delle 14:59, 18 set 2005

Riga 1:

{{stub}}

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

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

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

: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;