Fórmula bien formada


Fórmula bien formada
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 un teorema.

Véase también

Enlaces externos


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Fórmula atómica — En lógica matemática, una fórmula atómica es una fórmula bien formada que no tiene una estructura formal más profunda. Esto es, una fórmula que no contiene constantes lógicas, o equivalentemente, una fórmula que no tiene subfórmulas estrictas. De …   Wikipedia Español

  • Fórmula — El término fórmula puede referirse a: Fórmula (expresión) en Matemáticas o Ciencias es una expresión algebraica que relaciona variables o cantidades relacionadas entre sí. P.ej.: La fórmula de la longitud de una circunferencia es L=2πR. Fórmula… …   Wikipedia Español

  • Fórmula (expresión) — En Matemáticas y otras ciencias, una fórmula es una forma breve de expresar información de modo simbólico (como en una fórmula matemática o una fórmula química, o una relación general entre cantidades). Una de las fórmulas más famosas es la de… …   Wikipedia Español

  • Fórmula de Euler — La fórmula o relación de Euler, atribuida a Leonhard Euler, establece que: para todo número real x. Aquí, e es la base del logaritmo natural, i es la unidad imaginaria, sin x y cos x son funciones trigonométricas. O bien: siendo z la… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Lenguaje formal — 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 matemáticas,… …   Wikipedia Español

  • Tautología — Para otros usos de este término, véase Tautología (retórica). En lógica, una tautología (del griego ταυτολογία, decir lo mismo ) es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier… …   Wikipedia Español

  • Tautología (lógica) — Saltar a navegación, búsqueda En lógica, una tautología (del griego ταυτολογία, decir lo mismo) es una fórmula bien formada de un sistema lógico que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores… …   Wikipedia Español