Predikata logiko: Malsamoj inter versioj

De la predikata koncepto estas kaŭzita la koncepto pri la ''[[kvantigilo]]''. Kvantigiloj indikas, por kiom da objektoj iu frazo-funkcio alprenas la valoron "vera"- Kvantigilo ''ligas'' la varianton de frazo-funkcio, tiel ke ree estiĝas frazo. La universala kvantigilo asertas, ke iu predikato validas por ĉiuj objektoj. La ekzistokvantigilo asertas, ke predikato validas por almenaŭ unu objekto. La kvantigiloj ebligas asertojn kiel "Ĉiu homo estas besto" aŭ "Ekzistas almenaŭ unu rozkolora elefanto".

 

Se la kvantigiloj rilatas nur la vakajn lokojn de predikatoj, do oni parolas pri ''[[unuanivela logiko|predikata logiko de la unua nivelo (aŭ simple "unuanivela logiko")]]''. Tiu nivelo estas iusence la norma nivelo pri la predikata logiko (Kial - mi klarigos sube).