FBF

Formula Bien Formada

Expresión que contiene variables proposicionales, constantes, operador lógico

Ejemplo:

• p ∨ q
• p ∨ (q ∧ ((¬r) ∧ s))