2 ms·
That looks correct to me. Actually, at first I thought it was incorrect because you used De Morgan's law, which I mistakenly thought was invalid in intuitionis
by DigitalTurk 14y ago
That looks correct to me.
Actually, at first I thought it was incorrect because you used De Morgan's law, which I mistakenly thought was invalid in intuitionistic logic. However, I looked it up and apparently only ~(p & q) |- ~p v ~q is invalid in IL.
- stiff 14y agoThanks, that was the part I felt uncertain about, funny how this seems completely elementary on one hand and on the other it is so easy to make a mistake.