Versione delle 22:51, 7 gen 2007 modifica .anacondabot (discussione \| contributi) 61 987 modifiche m robot Aggiungo: fr:Formule bien formée ← Differenza precedente		Versione delle 13:11, 11 gen 2007 modifica annulla .snoopybot. (discussione \| contributi) Bot 100 787 modifiche m Bot: Sostituzione automatica (-\{\{[Ss]tub[ _]([^}]+)\}\} +{{S\|\1}}) Differenza successiva →
Riga 1: {{~~stub~~ S\|matematica}} Nella [[logica matematica]] si chiama '''formula ben formata''' o - brevemente - '''fbf''' una stringa di simboli che rappresenti un'espressione sintatticamente corretta. Per un [[linguaggio del primo ordine]] <math>L</math> o -una '''fbf''' si definisce induttivamente nel seguente modo:

Formula ben formata: differenze tra le versioni