(stu o o ts I I a fo t d p w q e 41 , seulaewryple{ sas/pe luoq paslqnfn4 ef paqeetbl1ut ) e[ g 'V ap44und epe.lapl .Z '1as4n[nt1q11d'efiapntlryl alp^plspA pe^npro^ s!{nnr pn1ryyeewproq la 'sappp.,Ea '(sa|-ww) plpppulprout V lplued eftea epeqn[,t1t1 ef apeertwlul V rqtlund ppelapl i6tgf aslgnfn4gy4 ,l ,,N 1", fr-*"?1t{44/4 P?+J/n ni*f f'mo0X A P "t .T fii"ilnfly^ .{'1"'.*l h"!- ."iql
Kahekohalise predikaadi Pxy tõehulk on hulk P, mille elementideks on need ja ainult need indiviidide paarid, mille korral predikaat muutub tõeseks lauseks. Analoogiliselt saab defineerida ka 3- või 10-kohalise predikaadi. Üldistades võime defineerida n-kohalise predikaadi, kus n on suvaline naturaalarv. Lausearvutuse lause on käsiteldav 0-kohalise predikaadina. n-kohaline predikaat P(t1...tn) on funktsioon, mis seab igale n-liikmelisele indiviidide hulgale t1, ... , tn (kus t1T1, ..., tnTn) vastavusse ühe kindla tõeväärtuse 1 (t) või 0 (v). 28_fl_i-v Predikaat Px on samaselt tõene (ehk loogiliselt tõene) kui ta muutub tõeseks lauseks iga indiviidi xX korral. Predikaati Px on samaselt väär (ehk loogiliselt väär), kui ta muutub vääraks lauseks iga indiviidi xX korral. Predikaat Px on kehtestatav, kui ta muutub tõeseks lauseks vähemalt ühe indiviidi xX korral
annaabi.ee 
