Canvis

Una '''fòrmula''' és una seqüència o [[cadena de caràcters]] els símbols dels quals pertanyen a un [[llenguage formal]], de tal manera que l'expressió complix certes regles de [[Fòrmula ben formada|bona formació]] i que admet una interpretació consistent en alguna àrea de la [[matemàtica]] i en uns atres [[Sistema formal|sistemes formals]]. Esta té la finalitat d'expressar una relació general entre els térmens expressats en la fòrmula.

Una '''fòrmula''' és una seqüència o [[cadena de caràcters]] els símbols dels quals pertanyen a un [[llenguage formal]], de tal manera que l'expressió complix certes regles de [[Fòrmula ben formada|bona formació]] i que admet una interpretació consistent en alguna àrea de la [[matemàtica]] i en uns atres [[Sistema formal|sistemes formals]]. Esta té la finalitat d'expressar una relació general entre els térmens expressats en la fòrmula.

En un [[sistema formal]], una '''[[fòrmula ben formada]]''', també cridada '''expressió ben formada''', i a sovint abreviada '''*fbf''' o '''*EBF''', és una [[cadena de caràcters]] o [[paraula (matemàtiques)|paraula]] generada segons una [[gramàtica formal]] a partir d'un [[vocabulari (llògica)|alfabet]] donat. Un [[llenguage formal]] es definix com el conjunt de totes les seues fòrmules ben formades.

En un [[sistema formal]], una '''[[fòrmula ben formada]],''' també cridada '''expressió ben formada,''' i a sovint abreviada '''fbf''' o '''EBF''', és una [[cadena de caràcters]] o [[paraula (matemàtiques)|paraula]] generada segons una [[gramàtica formal]] a partir d'un [[vocabulari (llògica)|alfabet]] donat. Un [[llenguage formal]] es definix com el conjunt de totes les seues fòrmules ben formades.