Arvud, kvantor "iga" ja hulkade moodustamine
Karmo Talts
Vaatame kvantori „iga“ ja arvude suhet. Kui objekte predikaadiga P on arvul x, mis on suurem nullist, siis on elementide predikaadiga P, milles on x elementi, hulk hulk, millesse kuulub iga element predikaadiga P. Kui x on null, siis on elementide, millel on predikaat P, hulk tühi.
Sõnastame nüüd hulkade moodustamise põhimõtte. Kui leidub elemente predikaadiga P, siis saab neist luua hulga. St., et nende hulk pole tühi.
Vaatame nüüd selle põhimõtte kontrapositsiooni. Kui elementidest predikaadiga P ei saa luua hulka, siis ei leidu elemente predikaadiga P. St., et kui me oleme tõestanud, et elementidest predikaadiga P hulga loomine viiks vasturääkivuseni, siis me oleme tõestanud, et elementide predikaadiga P hulk on tühi.
No comments:
Post a Comment