% EJEMPLO DE L”GICA PROPOSICIONAL

% Universidad Michoacana de San Nicol·s de Hidalgo

% --------------------------------

and(P,Q) :- P,Q,!.
or(P,Q) :-(P;Q), !.
t.
f:-fail.

t(_).
f(_) :- fail.

t(el_perro_ladra).
f(el_perro_corre):- fail.

:-op(400,xfx,not).
:-op(500,xfx,and).
:-op(500,xfx,or).
:-op(600,xfx,implies).
:-op(600,xfx,equiv).

:-op(400, xfx,~).
:-op(500,xfx,^).
:-op(500,xfx,v).
:-op(600,xfx,=>).
:-op(600,xfx,<=>).

~(P) :- not(P).
P => Q :- P implies Q.
P v Q :- P or Q.
P <=> Q :- P equiv Q.
P ^ Q :- P and Q.

P implies Q :- not( P) or Q.
P equiv Q :- (P and Q) or (not(P) and not(Q)).

o --> sn, sv.

o --> o,pp,o.
sn -->[perro].
sv --> [ladra].
pp --> [y].
pp --> [o].
pp --> [implies].

/**<ejemplos>

or(t,f).

and(t,or(t,f)).

or(t,not(f)).

f implies f.

f => f.

~(f).

f or ~(f).

~(f) => f.

phrase(s(Tree),[~(P)]).

s --> ~(P).
~(P) --> (P).

r => r.

phrase(o, [el, perro, ladra]).