Hulkade moodustamine ning positiivsed ja negatiivsed predikaadid
Karmo Talts
Sõnastame järgmised hulkade moodustamise põhimõtted. Iga positiivse predikaadi P puhul, mis pole defineeritud paaritu arvu eitustega predikaadi abil, puhul saab moodustada hulga elementidest predikaadiga P. Iga paaritu arvu eitustega predikaadi ja positiivse predikaadi, mis on defineeritud paaritu arvu eituste abil, puhul saab moodustada alamhulga olemasoleva hulga nendest elementidest, millel on see predikaat.
Vaatame nüüd hulkasid, mis ei kuulu endasse. Kui olemasolevatel hulkadel on liikmeid, mis on hulgad, mis ei kuulu endasse, siis saab moodustada olemasolevate hulkade alamhulgad, mille liikmeteks on hulgad, mis ei kuulu endasse.
Kommentaare ei ole:
Postita kommentaar