Curry lause ja intuitsionistlik eitus
Vaatame Curry lauset intuitsionistliku loogika seisukohast. Kuna Curry lausest järeldub absurdsuse ja intuitsionistlik eitus on defineeritud selle kaudu, et väitest järeldub absurdsus, siis Curry lausest järeldub iseenda intuitsionistlik eitus.
No comments:
Post a Comment