Vjezbe, 14.05.2013.

Zadatak 1. Ako D = {a, b, c}, onda parafrazirajte sljedece formule tako da

ne sadrze i .
(a) xPx
(b) x (Px Qx)
(c) x (Px&y (Py x = y))
Zadatak 2. S Ls oznacit cemo jezik logike sudova. Ovo je alfabet Ls:
{p, q, r, p
1
, q
1
, r
1
, ...} ,{, , &} , {(, )}. Napisite PRAVILA FORMACIJE
psf-ova Ls-a.
Zadatak 3. Sa Sf oznacit cemo Fregeov sistem dokazivanja, naime sistem
s tri aksioma: (1) p (q p), (2) (p (q r)) ((p q) (p r)),
(3) (q p) (p q); i dva pravila transformacije: pravilo supstitucije
i pravilo modus ponens. Podvucite formule za koje ne postoji dokaz u Sf.
(1) ((p q ) p) p
(2) (p q ) p
(3) p p
Zadatak 4. Ako imate neki zakljucak ciju valjanost zelite provjeriti i jedino
sto vam je na raspolaganju jest Sf, kako biste to napravili. Obrazlozite.
Zadatak 5. Ako je A neka formula koju smo dokazali u Sf -u. Postoji li
onda dokaz te formule u prirodnoj dedukciji? Obrazlozite.
Zadatak 6. A, B i C
1
...C
n
su proizvoljni psf-ovi. Ako je A B
tautologija, koje su od sljedecih formula tautologije.
(1) A&C
1
&...&C
n
B
(2) A B C
1
... C
n
(3) (C
1
&C
2
&...&C
n
) &(C
1
C
2
... C
n
) B&B
1