Diferencia entre revisiones de «Fórmula bien formada»
Contenido eliminado Contenido añadido
mSin resumen de edición |
Sin resumen de edición |
||
Línea 1:
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
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 que tienen el mismo número de
En la [[lógica formal]], 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 siendo desarrollada, o [[lema]] cuando juega un papel accesorio en la demostración de una teorema.
|