1. Se da un graf definit prin muchii si noduri.

Reprezentati in FOL graful si

definiti propozitia de path(x,y) intre doua noduri:
a) intre oricare doua noduri pt care este muchie, avem si cale
b) daca intre a si b avem muchie, iar intre b si c avem path, atunci avem path si
intre a si c
Demonstrati propozitia path intre doua noduri din graful vostru.

2. Remodelati problema 5.6 Wumpus cu logica predicatelor (FOL).

3. Someone who lives in Dreadbury ansion killed Aunt Agatha. Agatha, the butler,
and Charles live in Dreadbury Mansion, and are the only people who live herein. A
killer always hates his victim, and is never richer than his victim.
Charles hates no one that Aunt Agatha hates. Agatha hates everyone except the
butler. The butler hates everyone not richer than Aunt Agatha. The butler hates
everyone Aunt Agatha hates. No one hates everyone. Agatha is not the butler.
Therefore : Agatha killed herself.

prover9 -f fdr-warFOL.in |prooftrans xml renumber| gvizify |dot -Tpdf > a.pdf