Curry lause ja absurdsuse ekvivalentsus
Karmo Talts
Vaatame absurdseid väiteid. Kuna absurdsed väited on väärad, siis on konditsionaalid, mille eelduseks on aburdne väide, tühjalt tõesed. Seega on väide "kui absurdsus on tõene, siis on Curry lause tõene" tühjalt tõene.
Vaatame nüüd selle tähendust Curry lausete jaoks. Kuna Curry lausest järeldub absurdsus ja absurdsusest järeldub Curry lause, siis on Curry lause ja absurdsus ekvivalentsed.
No comments:
Post a Comment