~(A OR ~~A) without LEM?

nomeata / incredible

The Incredible Proof Machine

MIT License

358 stars 36 forks source link

~(A OR ~~A) without LEM? #99

Closed TimJSwan89 closed 5 years ago

TimJSwan89 commented 5 years ago

I apologize for creating an issue, but I tried emailing about this and didn't see a response after seeing activity on here.

I am stuck on the last challenge for session 4: Prove ~(A OR ~~A) without LEM block yet available.

nomeata commented 5 years ago

Sorry for the slow response by mail, not much at the computer over christmas…

Yeah the last one is a tricky one (thanks to @lohner), but it is solvable… Not sure how to help here, though: I don't want to spoil the fun. But rest assured: It is possible!