Hulgad ja kooskkõlalised predikaadid
Karmo Talts
Vaatame naiivset hulkade moodustamise põhimõtet mitte-kooskõlaliste predikaatide seisukohast. Kui saab moodustada hulga mistahes predikaadiga elementidest, siis saab moodustada hulga nelinurksetest kolmnurkadest.
Sõnastame nüüd järgmise arusaama hulkade moodustamisest: kui predikaadi P puhul on tegu kooskkõlalise predikaadiga, siis saab moodustada hulga kõigist elementidest, millel on predikaat P
Vaatame nüüd selle põhimõtte kontrapositsiooni. Kui ei saa moodustada hulka kõigist elementidest predikaadiga P, siis pole predikaadi P puhul tegu kooskkõlalise predikaadiga.
No comments:
Post a Comment