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. Lausearvutuse lause on nullaarne predikaat, sest see esitab tõeväärtuse, mis ei sõltu indiviidimuutujatest. Kolmekohalise predikaadi näiteks sobiks „x kinkis y-le z-i” ja lõpetatud lause võiks olla nt „Jüri kinkis Marile hobuse Miira”. Meie kasutame allpool peamiselt 0-, 1- ja 2-aarseid predikaate ning nende puhul me tavaliselt aarsust eraldi ei märgi, sest see ilmneb predikaadi sümbolile vahetult järgnevate indiviidisümbolite arvust. Predikaadi baashulk M võib olla väga kitsalt piiritletud, nt algarvude hulk või vasakust silmast pimedate kuni ühe aastaste kollaste kasside hulk
.. ; 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. Lausearvutuse lause on nullaarne predikaat, sest see esitab tõeväärtuse, mis ei sõltu indiviidimuutujatest. Kolmekohalise predikaadi näiteks sobiks ,,x kinkis y-le z-i" ja lõpetatud lause võiks olla nt ,,Jüri kinkis Marile hobuse Miira". Meie kasutame allpool peamiselt 0-, 1- ja 2-aarseid predikaate ning nende puhul me tavaliselt aarsust eraldi ei märgi, sest see ilmneb predikaadi sümbolile vahetult järgnevate indiviidisümbolite arvust. Predikaadi baashulk M võib olla väga kitsalt piiritletud, nt algarvude hulk või vasakust silmast pimedate kuni ühe aastaste kollaste kasside hulk
annaabi.ee 
