Loogika konspekt 1-5
väljendab indiviidide teatud omadust või nendevahelist seost.
Nt Võtame sarnased laused: 2 on algarv, 3 on algarv, 4 on algarv jne. Kõigis neis
lausetes on indiviidideks naturaalarv x naturaalarvude hulgast N ning predikaadiks on
omadus olla algarv A. Seos ,,... on algarv" on käsitletav predikaadina, mille saab kirja
panna nt kujul: A(x), kus xN. (Varem nõuti, et indiviidide hulk ei tohi olla tühi, nüüd enam
mitte.) Ühe- või mitmekohane predikaat pole lause (tal puudub tõeväärtus), kuid predikaat
muutub lauseks (omandab tõeväärtuse), kui kõik tühikud täidetakse konkreetsete
indiviididega.
Ühekohaline predikaat Px (või P(x)) on funktsioon, mis seab igale indiviidile xX
vastavusse ühe kindla tõeväärtuse 1 (t) või 0 (v). (Saab koostada tõeväärtustabeli).
Predikaadi Px (või P(x)) tõehulk on hulk P, mille elementideks on need ja ainult need
indiviidid, mille korral predikaat muutub tõeseks lauseks.
annaabi.ee 
