Diferencia entre revisiones de «Fórmula bien formada»
Contenido eliminado Contenido añadido
m Bot: Cambiando plantilla a ''revisar traducción''; cambios cosméticos |
m Bot: Retirando plantilla en desuso. |
||
Línea 2:
En la [[lógica formal]], las [[demostración matemática|demostraciones]] son secuencias de FBFs con ciertas propiedades, y la final FBF en la secuencia es lo que se demuestre. Esta FBF final se llama un [[teorema]] cuando juega un papel significante en la teoría siendo desarrollada, o una [[lema]] cuando juega un papel accesorio en la demostración de una teorema.
[[Categoría:Lógica]]
| |||