Logika demonstrature 18. 03. 2014.

Logika predikata
1. Provjerite valjanost sljedecih formula pomocu istinosnog stabla. Ako su valjane, dokazite ih.
(a) (xP(x) xR(x)) x(P(x) R(x))
(b) x(P(x) R(x)) (xP(x) xR(x))
2. Prevedite sljedece recenice u jezik logike prvog reda.
(a) Postoji tocno jedan jednorog.
(b) Postoje barem dva jednoroga.
(c) Postoje tocno dva jednoroga.
Teorija skupova
3. Zadani su skupovi A = , B = {}, C = {1}. Odredite istinitost sljedecih tvrdnji:
(a) A B
(b) B A
(c) P (A) = B
(d) P (A) P (B)
(e) A C = B C
4. Zadani su sljedeci skupovi:
A
1
=
A
2
= {1, 3, 5, 7...} = {2k 1|k N}
A
3
= {2, 4, 6, 8...} = {2k|k N}
A
4
= {12, 14, 16, 18...} = {2k + 10|k N}
U = N
(a) Skup B je deniran kao B = A
1
(A
2
(A
3
A
4
)). Zapisite to u jeziku logike prvog reda,
prosirenom s .
(b) Odredite elemente skupa B.