Anda di halaman 1dari 1

I.

Osnove matematike logike


24

I.5. PREDIKATI I KVANTIFIKATORI Predikat je reenica koja uvrtavanjem konkretne vrijednosti postaje sud. Primjer: x+5=12. Izjavna funkcija: P ( x ) = " x + 5 = 12" . Pomou kvantifikatora od predikata formiramo sudove.

LINEARNA ALGEBRA

I. Osnove matematike logike


25

Kvantifikatori: - univerzalni kvantifikator (za svaki); - egzistencijalni kvantifikator (postoji); ! - egzistencijalni kvantifikator (postoji jedinstveni). Primjeri: ( x ) x + 4 < 2

( x ) 0 < x 2 ( ! x ) x 7 = 2
LINEARNA ALGEBRA

Anda mungkin juga menyukai