Logika (Iskazni i predikatski raµcun)

1. Ispitajte istinitost sljedećih iskaznih formula:

(a) p _ q =) p ^ q
(b) p _ p () p
(c) p ^ q () q ^ p
(d) (p =) p) =) p
(e) p _ (p ^ q) () q
(f) ((p =) q) ^ (q =) r)) =) (p =) r)
(g) (p ^ (p =) q)) =) q
(h) (p =) q) () (:q =) :p)

2. Proµcitajte sljedeće reµcenice u domeni realnih brojeva i odgovorite koje su

toµcne, a koje nisu:

(a) (9x)(x2 0)
(b) (9x)(9y)(xy 0)
(c) (8x)(9y)(xy > 1)
(d) (9x)(x2 + 1 = 0)
(e) (8x)P (x)

3. Zapišite sljedeće reµcenice simbolikom logiµckih operacija i kvanti…katora:

(a) Svaki prirodan broj je realan

(b) Neki brojevi nisu pozitivni
(c) Kvadratna jednadµzba ima realna rješenja
(d) Postoji takav realan broj x da je za svaki drugi realni broj njihov
zbroj jednak 0
(e) Postoji takav realan broj x da je za svaki drugi realni broj njihov
produkt jednak 0
(f) Za realne brojeve vrijedi komutativnost zbrajanja
(g) Nije svaki kvocijent realnih brojeva, realan broj