Fórmula bien formada

Fórmula bien formada. Una fórmula es una fórmula bien formada si y sólo si cumplen las siguientes reglas lógicas de formación: (Para la lógica proposicional [v. Cálculo proposicional]) 1) Cualquier fórmula atómica es una fórmula bien formada; 2) Si p es una fórmula, entonces -p es una fórmula bien formada también; 3) Si p y q son  fórmulas  bien formadas, entonces `p & q', `p v q',

`p --> q' y `p <--> q' son fórmulas bien formadas. (Para la lógica cuantificacional [v. Cálculo cuantificacional])  4) `(3x) Px', `(x) Px', `(3x) [(Px <--> Rx) & (Mx --> (Sx v -Ux)', `(x)[Px --> -(Yx v (Tx <--> (Dx & Ex)))]. 5) En cualquier fórmula bien formada es posible distinguir el conectivo principal.