"nkohaline" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

kasutatud kirjeldavat sõna ennik. Nt binaarsele predikaadile vastab indiviidide järjestatud paar, 5-aarsele predikaadile vastab indiviidide järjestatud viisik, n-aarsele predikaadile vastab indiviidide järjestatud ennik. Nullaarne predikaat on lihtsalt lausearvutuse lause, mille tõeväärtus sõltub interpretatsioonist samamoodi nagu lausearvutuses. D8.3. Olgu n mingi konkreetne, kuid suvaliselt valitud naturaalarv. Hulgal M määratud nkohaline predikaat ehk n-aarne predikaat Pnxy…w (kokku n indiviidimuutujat) on kujutus (funktsioon), mis seab igale indiviidide järjestatud ennikule (x; y; … ; 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.