Državni univerzitet u Novom Pazaru 18.01.2019.

Departman za matematičke nauke

Smerovi: Matematika, Informatika-matematika, Matematika-fizika
Drugi kolokvijum iz Matematičke logike1

1. Dokazati da je valjana sledeća formula

(∀x)(A(x) ⇔ B(x)) ⇒ ((∀x)B(x) ⇒ (∀x)A(x)).

[25]
2. Opisati sve teoreme formalne teorije τ nad alfabetom {a, b} čije su sve reči formule, skup aksioma
x x
je Ax = {a}, i pravila izvod̄enja su: α : bxa , β : bbx . [20]
3.

(a) Na skupu A = {−10, −8, −6, −4, −2, 0, 1, 3, 5, 7, 9} je zadata relacija poretka sa: xρy ⇔ |x| ≤ |y|.
Odrediti max A, min A, inf X, sup X, gde je X = {−10, −2, 5, 9}. [15]

(b) Neka je dat skup B = {−4, −3, −2, −1, 0, 1, 2, 3, 4, 5, 6, 7, 8} i C = B × B. Na skupu C zadata
je relacija ekvivalencije (x, y) ∼ (s, t) ⇔ x − 2y = s − 2t. Odrediti klasu elementa (2, −3). [15]

4. Neka je f : X → Y funkcija i A ⊆ X, B ⊆ Y proizvoljni skupovi. Dokazati da je

A ∩ f −1(B) ⊆ f −1(f (A) ∩ B).

[25]

1
Da bi se položio drugi kolokvijum neophodno je osvojiti najmanje 50 poena.