Well Formed Formula
Una fórmula bien formada (FBF) del cálculo proposicional se define mediante las siguientes reglas:
1- Una variable aislada es una FBF.
2- Toda FBF a la cual se antepone el símbolo de negación "¬" es una FBF.
3- Si A y B son FBF, entonces también lo son las secuencias: (A^B), (AvB), (A->B),y (A<->B)
4- Toda secuencia de símbolos producida por la aplicación de los pasos 1, 2, 3, en cualquier orden, constituye una FBF. (Cláusula de recursión)
5- Ninguna otra secuencia constituye una FBF. (Cláusula de exclusión)
- Artificial IntelligenceAI
- formal languagelenguaje formal
- WFFWell Formed Formula