Predikaadi kohtade arv ja hulkade moodustamine
Karmo Talts
Sõnastame järgmise hulkade moodustamise põhimõtte ühekohaliste predikaadiga elementide jaoks: iga ühekohalise predikaadi P puhul on võimalik moodustada hulk kõigist elementidest x, millel on predikaat P.
Vaatame nüüd mitmekohalisi predikaate. Iga mitmekohalise predikaadi Pxy, Pxyz, jne., kus vähemalt üks x-ile järgnevatest muutujatest pole x-iga identne, puhul saab moodustada hulga elementidest x, mis on suhtes P elemendiga y, suhtes P elementidega y ja z jne.
Vaatame nüüd enesesse mitte-kuulumist. Predikaadis ¬Kuulubxx on x identne endale järgenva muutujaga ja seega ei pruugi olla võimalik moodustada hulka elementidest x, mis on suhtes ¬Kuulub x-iga.
No comments:
Post a Comment