Curry lause eitust kasutav analoog

Curry lause eitust kasutav analoog 

Karmo Talts

 

Vaatame, kas on võimalik sõnastada konditsionaali, mis on Curry lause eitust kasutav analoog. Kui see väide pole väär, siis mingi väär väide on tõene. Kui see konditsionaal on väär, siis selle eeldus on väär ja seega see konditsionaal on tõene ja see konditsionaal on korraga tõene ja väär. Kui see konditsionaal pole väär, siis on mingi väär väide tõene.