Curry lause väärus ja disjunktsiooni sissetoomine

Curry lause väärus ja disjunktsiooni sissetoomine

Karmo Talts

 

Uurime Curry lausete omadusi. Kui Curry lause on väär, siis on tema eeldus väär ja seega on Curry lause tühjalt tõene. Ühtlasi saab eeldusest, et Curry lause on väär tuua sisse disjunktsiooni „Curry lause on väär või Curry lause järeldus on tõene“, mis on ekvivalentne Curry lausega.

Sõnastame nüüd piirangu disjunktsiooni sissetoomisele: kui sissetoodavast disjunktsioonist järeldub absurdsus, siis ei tohi disjunktsiooni sisse tuua.

Vaatame nüüd selle tähendust konditsionaali jaoks. Kui konditsionaalist järeldub absurdsus, siis ei saa konditsionaali siis, kui konditsionaali eeldus on väär, lugeda tõeseks.