fbf

Comprueba si una fórmula está bien formada.

				fbf((no P)) :- !,fbf(P).

fbf((P y Q)) :- !,fbf(P),fbf(Q).

fbf((P o Q)) :- !,fbf(P),fbf(Q).

fbf((P imp Q)) :- !,fbf(P),fbf(Q).

fbf((P coimp Q)) :- !,fbf(P),fbf(Q).

fbf(P) :- atom(P),!,proposicion(P).

fbf(_) :- nl,

write('¡ERROR! : Formula erronea. Vuelve a introducirla.'),

nl, nl, !, fail.

/* proposicion(Prop) <- Prop es una variable proposicional */

proposicion(X) :- miembro(X,[p,q,r,s,t,u,v]),!.

proposicion(_) :- nl,

write('¡ERROR! no es simbolo de var.proposicional'),

nl,nl,!,fail.