Reglas de formación de formulas lógicas.

Una formula lógica, es decir, una formula bien formada (FBF) es una cadena de símbolos construida según reglas establecidas por la sintaxis lógica. Puede ser de dos tipos atómicas y molecular.


Las siguientes son las reglas de la sintaxis lógica que posibilitan la construcción de formulas bien formadas.


1. Toda variable proposicional (p,q,r,s) es una (FBF).
2. Si “p” es una FBF, entonces “-p” es también una FBF.
3. Si “p y q” son FBF, entonces “p mayor que q” , “p menor que q” etc. Son igualmente FBF.
4. Una cadena de símbolos es una FBF si y solo si se sigue de la aplicación de R1,R2 y R3.
5. Una formula lógica esta bien formada si y solo si s existe una jerarquía claramente establecida entre sus operadores.
6. Una FBF tiene un nombre y este depende de su operador de mayor jerarquía.
7. El operador de mayor jerarquía es aquel que esta libre de los signos de agrupación “(), [], {}”.
8. Los signos de agrupación se usan cuando su omisión hace ambigua una formula.
9. Los operadores didácticos tienen mayor jerarquía que el operador monádico.
10. El operador negativo se escribe antes y no después de una formula.
11. El operador negativo se escribe entre dos formulas, si no inmediatamente a la derecha de un operador diádico.
12. Si un operador negativo antecede a otro operador igualmente negativo, entonces el de la izquierda tiene mayor jerarquía.