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
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