Curry konditsionaali eelduse ja Curry konditsionaali suhe ning konditsionaalide tõestamine

Curry konditsionaali eelduse ja Curry konditsionaali suhe ning konditsionaalide tõestamine

Karmo Talts

Vaatame Curry konditsionaali eelduse ja Curry konditsionaali suhet. Curry konditsionaali eeldus ja Curry konditsionaal on ekvivalentsed. 
Sõnastame nüüd piirangu konditsionaalide tõestamisele: kui P pole ekvivalentne konditsionaaliga "kui P, siis Q", siis juhul, kui P-d saab kasutada Q tõestamiseks, saame me tõestada Q.