Hulgateoreetilise eraldamise skeemi analoog mõistete jaoks
Karmo Talts
Sõnastame hulgateoreetilisele eraldamise skeemile analoogse skeemi mõistete jaoks. Iga predikaadi P kohta leidub mõiste X, mille mahuks oleval klassil on alamklass, mis on Y-i mõiste mahuks ja mille elementidel on predikaat P.
Vaatame nüüd kõigi elementide predikaadiga P kohta käiva mõiste küsimust. Kui leidub mõiste Y, mis käib kõigi elementide predikaadiga P kohta, siis leidub mõiste, mis käib kõigi elementide predikaadiga P kohta.
No comments:
Post a Comment