Kahekohaliste predikaatide defineerimine
Karmo Talts
Seame kahekohaliste predikaatide defineerimisele piirangu: kui x-il on suhe P y-iga parajasti siis, kui y-l pole suhet P y-iga, siis ei tohi x olla idnentne y-iga.
Vaatame nüüd kahekohalise predikaadiga elementidest hulkad moodustamist. Kui kahekohaline predikaat on lubatud viisil moodustatud, siis saab luua hulkasid elementidest, mis osalevad selles suhtes.
Vaatame nüüd kahekohaliste predikaatide sõnalist väljendamist. Kui kahekohaline predikaat on moodustatud lubatud viisil, siis tohib selle predikaadi väljendamiseks kasutusele võtta sõna.
No comments:
Post a Comment