täiendav kokkulepe: kui järgnevalt ... … kasutatakse suurtähti ilma indeksite ja muutujateta, siis on need lausemuutujad; … 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.
täiendav kokkulepe: kui järgnevalt ... ... kasutatakse suurtähti ilma indeksite ja muutujateta, siis on need lausemuutujad; ... 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.
annaabi.ee 
