Ir al contenido

Diferencia entre revisiones de «Fórmula bien formada»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
mSin resumen de edición
Deshecha la edición 30701676 de Luis Felipe Schenone (disc.)
Línea 1: 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 [[Fórmula bien formada|fórmulas bien formadas]] y los [[teorema]]s. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]]
[[Archivo:Entidades sintácticas 2.svg|thumb|230px|right|Esta imagen muestra la relación entre las [[Cadena de caracteres|cadenas de caracteres]], las fórmulas bien formadas y los [[teorema]]s. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]]


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.
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.

Revisión del 18:44 18 oct 2009

Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.

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 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 lógica formal, las 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 siendo desarrollada, o lema cuando juega un papel accesorio en la demostración de una teorema.

Véase también

Enlaces externos