Normaalselt käituvad predikaadid ja piirang predikaatide defineerimisele
Karmo Talts
Vaatame normaalselt käituvat predikaati. P on normaalselt käituv predikaat siis, kui iga objekti x puhul sellest, et objektil x on predikaat P, ei järeldu vasturääkivust või sellest, et objektil x pole predikaati P, ei järeldu vasturääkivus.
Sõnastame nüüd piirangu predikaatide defineerimisele. Predikaat P käib objekti x kohta parajasti siis, kui on täidetud tingimus Q ja iga objekti x puhul sellest, et objektil x on predikaat P, ei järeldu vasturääkivust või sellest, et objektil x pole predikaati P, ei järeldu vasturääkivus.
No comments:
Post a Comment