"tntn" - 1 õppematerjal

Loogika konspekt 1-5

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.