Diferencia entre revisiones de «Fórmula bien formada»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 3:
En [[lógica matemática]], una '''fórmula bien formada''', también llamada '''expresión bien formada''', y a menudo abreviada '''fbf''' o '''EBF''', es una [[cadena de caracteres]] o [[palabra (matemáticas)|palabra]] 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.
Por ejemplo, un alfabeto podría ser el conjunto {''a'',''b''}, y una gramática podría definir a las fórmulas bien formadas como aquellas cadenas que tienen el mismo número de caracteres ''a'' que ''b''. Entonces, algunas fórmulas bien formadas del [[lenguaje]] serían: ''ab'', ''ba'', ''abab'', ''ababba'', etc. El lenguaje formal sería el conjunto de todas esas fórmulas bien formadas.
En la [[Teoría de la demostración]], las [[demostración matemática|demostraciones]] son secuencias de fórmulas bien formadas con ciertas propiedades, donde la última fórmula de la secuencia es aquello que se demuestra. Esta fórmula final se llama [[teorema]] cuando juega un papel importante en la [[teoría (lógica)|teoría]] siendo desarrollada, o [[lema]] cuando juega un papel accesorio en la demostración de un teorema.
| |||