Mitmekohaliste predikaatide kooskõlalisus
Karmo Talts
Vaatame predikaate kujul "x-l on suhe P y-ga siis, kui y-l pole suhe P y-ga". Sellised predikaadid pole päris kooskkõlalised, sest kui x ja y on identsed, siis tekib vasturääkivus.
Vaatame nüüd võimalikke piiranguid predikaatide defineerimisele. Üks neist on, et kui x-l on suhe Q y-ga siis, kui y-l pole suhet P y-iga, siis ei tohi Q olla P-ga identne. Teine neist on, et kui x-il on suhe P y-iga siis, kui y-l pole suhet P y-iga, siis ei tohi x ja y olla identsed.
No comments:
Post a Comment