paar, 5-aarsele predikaadile vastab indiviidide järjestatud viisik, n-aarsele predikaadile vastab indiviidide järjestatud ennik. Nullaarne predikaat on lihtsalt lausearvutuse lause, mille tõeväärtus sõltub interpretatsioonist samamoodi nagu lausearvutuses. D8.3. Olgu n mingi konkreetne, kuid suvaliselt valitud naturaalarv. Hulgal M määratud nkohaline predikaat ehk n-aarne predikaat Pnxy…w (kokku n indiviidimuutujat) on kujutus (funktsioon), mis seab igale indiviidide järjestatud ennikule (x; y; … ; w), kus x, y, … , w ∈ M, vastavusse ühe kindla tõeväärtuse tõene (1) või väär (0). Hulka M, millel predikaat on määratud, nimetatakse selle predikaadi baashulgaks. Hulga M elemente nimetatakse selle predikaadi indiviidideks. See, milline funktsioon predikaadile vastab, sõltub interpretatsioonist. Predikaadi aarsust tähistatakse sageli ülaindeksiga, nt kolmekohaline predikaat P3yzx.
paar, 5-aarsele predikaadile vastab indiviidide järjestatud viisik, n-aarsele predikaadile vastab indiviidide järjestatud ennik. Nullaarne predikaat on lihtsalt lausearvutuse lause, mille tõeväärtus sõltub interpretatsioonist samamoodi nagu lausearvutuses. D8.3. Olgu n mingi konkreetne, kuid suvaliselt valitud naturaalarv. Hulgal M määratud n- kohaline predikaat ehk n-aarne predikaat Pnxy...w (kokku n indiviidimuutujat) on kujutus (funktsioon), mis seab igale indiviidide järjestatud ennikule (x; y; ... ; w), kus x, y, ... , w M, vastavusse ühe kindla tõeväärtuse tõene (1) või väär (0). Hulka M, millel predikaat on määratud, nimetatakse selle predikaadi baashulgaks. Hulga M elemente nimetatakse selle predikaadi indiviidideks. See, milline funktsioon predikaadile vastab, sõltub interpretatsioonist. Predikaadi aarsust tähistatakse sageli ülaindeksiga, nt kolmekohaline predikaat P3yzx.
annaabi.ee 
