Wikipedia

Diferencia entre revisiones de «Fórmula bien formada»

Explorar historial interactivamente
← Ir a diferencia anteriorIr a siguiente diferencia →
Contenido eliminado Contenido añadido
VisualWikitexto
Muro Bot (discusión · contribs.)
1 375 372 ediciones
m Bot: Arreglando caracteres raros del ORDENAR (PR:CW)
Cambios superficiales. Agregué la sección de Véase también
Línea 1:
En [[lógica matemática]], una '''fórmula bien formada''' (a menudo abreviada como '''''fbf''''') es un símbolo o serie de símbolos (una [[Fórmula matemática|fórmula]]) quegenerados esde generadaacuerdo pora launa [[gramática formal|gramática]] de un [[lenguaje formal]]. En otras palabras, una fórmula ''A'' es una fórmula bien formada con respecto a una gramática formal ''G'' dada, si ''A'' pertenece al lenguaje generado por ''G''. Un lenguaje formal se define como el conjunto de todas sus fórmulas bien formadas.
 
En la [[lógica formal]], las [[demostración matemática|demostraciones]] son secuencias de fbf'sfórmulas bien formadas con ciertas propiedades, donde la última fbffórmula de la secuencia es aquello que se demuestra. Esta fbffórmula final se llama [[teorema]] cuando juega un papel significante en la teoría siendo desarrollada, o un [[lema]] cuando juega un papel accesorio en la demostración de una teorema.▼
Una fórmula ''S'' es una ''fbf'' con respecto a una gramática formal ''G'' dada, si ''S'' pertenece al lenguaje generado por ''G''. Un lenguaje formal se puede definir como un conjunto de fórmulas bien formadas.
 
== Véase también ==
▲En la [[lógica formal]], las [[demostración matemática|demostraciones]] son secuencias de fbf's con ciertas propiedades, donde la última fbf de la secuencia es aquello que se demuestra. Esta fbf final se llama [[teorema]] cuando juega un papel significante en la teoría siendo desarrollada, o un [[lema]] cuando juega un papel accesorio en la demostración de una teorema.
*[[Lenguaje formal]]
*[[Gramática formal]]
*[[Fórmula matemática]]
 
== Enlaces externos ==
*[http://www.cs.odu.edu/~toida/nerzic/content/logic/pred_logic/construction/wff_intro.html Fórmulas bien formadas en Lógica de predicados de primer orden] ''(en inglés)''
*[http://www.apronus.com/provenmath/formulas.htm Fórmulas bien formadas en ProvenMath] ''(en inglés)''
{{ORDENAR:Formula bien formada}}
 
[[Categoría:Lógica]]
Obtenido de «https://es.wikipedia.org/wiki/Fórmula_bien_formada»