Logika demonstrature 22. 04. 2014.

Prevodenje u jezik logike prvog reda

1. Prevedite sljedece recenice u jezik logike prvog reda prosirene s .
(a) Skup A je podskup skupa B. (tj. A B)
(b) Skup A je jednak skupu B. (tj. A = B)
(c) Skup A je pravi podskup skupa B. (tj. A B)
2. Prevedite sljedece recenice u jezik logike prvog reda, bez koristenja kvantikatora !.
(a) Postoji tocno jedan jednorog.
(b) Postoje barem dva jednoroga.
(c) Postoje tocno dva jednoroga.
Prirodna dedukcija i istinosna stabla
3. Provjerite valjanost sljedecih formula. Ako su valjane dokazite ih, a ako nisu pronadite protupri-
mjer.
(a) xyP(x, y) xyP(y, x)
(b) xyP(x, y) yxP(x, y)
(c) xyP(x, y) xyP(y, x)