… räägitakse predikaadist, kuid ei täpsustata selle kohtade arvu, siis on tegemist ühekohalise predikaadiga; … räägitakse unaarsest või binaarsest predikaadist, siis üldjuhul ei näidata nende aarsust mitte ülaindeksiga, vaid kirjutatakse vahetult predikaatsümboli järele vastavalt üks või kaks indiviidtermi, nt Px või Pxy; … ei täpsustata predikaadi baashulka, siis on selleks universaalhulk. LAUSEARVUTUSES KASUTATUD TERMINITE THENDUSE ÜLEKANDMINE LAUSETELT UNAARSETELE PREDIKAATIDELE D8.8. Predikaat Px on samaselt tõene (ehk loogiliselt tõene), kui mis tahes indiviidi x korral on predikaadi väärtuseks tõeväärtus tõene. Predikaat Px on samaselt väär (ehk loogiliselt väär), kui mis tahes indiviidi x korral on predikaadi väärtuseks tõeväärtus väär. Predikaat Px on kehtestatav, kui vähemalt ühe indiviidi x korral on predikaadi väärtuseks tõeväärtus tõene. Predikaadid Ax ja Bx on samaväärsed, kui nad omandavad samade indiviidide x
... räägitakse predikaadist, kuid ei täpsustata selle kohtade arvu, siis on tegemist ühekohalise predikaadiga; ... räägitakse unaarsest või binaarsest predikaadist, siis üldjuhul ei näidata nende aarsust mitte ülaindeksiga, vaid kirjutatakse vahetult predikaatsümboli järele vastavalt üks või kaks indiviidtermi, nt Px või Pxy; ... ei täpsustata predikaadi baashulka, siis on selleks universaalhulk. LAUSEARVUTUSES KASUTATUD TERMINITE TÄHENDUSE ÜLEKANDMINE LAUSETELT UNAARSETELE PREDIKAATIDELE D8.8. Predikaat Px on samaselt tõene (ehk loogiliselt tõene), kui mis tahes indiviidi x korral on predikaadi väärtuseks tõeväärtus tõene. Predikaat Px on samaselt väär (ehk loogiliselt väär), kui mis tahes indiviidi x korral on predikaadi väärtuseks tõeväärtus väär. Predikaat Px on kehtestatav, kui vähemalt ühe indiviidi x korral on predikaadi väärtuseks tõeväärtus tõene.
annaabi.ee 
