Diferencia entre revisiones de «Fórmula bien formada»
Contenido eliminado Contenido añadido
mSin resumen de edición |
Deshecha la edición 30701676 de Luis Felipe Schenone (disc.) |
||
Línea 1:
[[Archivo:Entidades sintácticas 2.svg|thumb|230px|right|Esta imagen muestra la relación entre las [[Cadena de caracteres|cadenas de caracteres]], las
En [[lógica matemática]], una '''fórmula bien formada''', también llamada '''palabra''', '''expresión''' o '''fórmula''', y a menudo abreviada '''fbf''', es una [[cadena de caracteres]] generada según una [[gramática formal]] a partir de un [[vocabulario (lógica)|alfabeto]] dado. Un lenguaje formal se define como el conjunto de todas sus fórmulas bien formadas.
| |||