Matematicka logika u racunarstvu, novembar 2012 1

Radni listic 7.
(Rezolucija u iskaznoj logici)
1. Metodom rezolucije dokazati da je sledeci skup formula nekonzistentan:
{p q, p q, p q, p q}.
2. Metodom rezolucije dokazati da je sledeca formula tautologija:
((p q) (q r)) (p r).
3. Metodom rezolucije dokazati:
(p q) (q r) |= p (q r).
4. Metodom rezolucije dokazati da je sledeca formula tautologija
(((p r) (q r)) (p q)) r.
5. Metodom rezolucije dokazati da je sledeca formula tautologija:
p (q r) ((p q) (p r)).
6. Data je formula F: (p q) (q (r p)). Naci konjunktivnu
normalnu formu formule F i metodom rezolucije ispitati da li je formula
F zadovoljiva.
7. Data je formula F:
((p q) r) (r (p s)) (p q s).
metodom rezolucije ispitati da li je formula oboriva.