Fórmula Bien Formada
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una expresión sintácticamente válida de una lengua formal construida a partir de fórmulas atómicas y conectivos lógicos de acuerdo con las reglas de formación de dicha lengua; abreviada comúnmente WFF.