Logikanteckningar

gistfile1.txt

det finns ett X så att X är en person och X har ett paraply
	person(X), har(X, paraply).

det finns ett X så att om X är en person så har X ett paraply
	person(X) -> har(X, paraply).

    det finns inte ett X så att X inte har ett paraply
<=> för alla X som är en person så har X ett paraply
	not(person(X), not(har(X, paraply)).

	Predikatlogik:
	\forall x (Person(x) -> Har(x, paraply)).

	Allmänt
	\forall x (P(x) -> Q(x)) bevisas i Prolog med not(P(X), not(Q(X))) = forall(P, Q).


P(x) -> Q(x) :-  ~P(x) v  Q(x)
             :- ~(P(x) & ~Q(x))

de Morgans lag:
~a | ~b = ~(a & b)
~a & ~b = ~(a | b)