Defineeritav ja koondamise struktuurne reegel loogikas
Karmo Talts
Vaatame, kas leidub argumente selle kasuks, et defineeritav on erinevalt definitsioonist resurss, mida ei peaks tuletuskäigus korduvalt kasutama. Kui me oleme X-i defineerinud Y-ina, siis pärast seda, kui me oleme identsust kasutades tuletanud X-ist Y-i, saame me Y-it korduvalt kasutada. X-i korduv kasutamine on lihtsalt Y-i korduv kasutamine ja seega pole vaja X-i eraldi korduvalt kasutada.
No comments:
Post a Comment