3 ms·
That doesn't sound right at all. Law of excluded middle is very easily computed with, It's a college homework exercise.
by fjsolwmv 8y ago
That doesn't sound right at all. Law of excluded middle is very easily computed with, It's a college homework exercise.
- kiriakasis 8y agoWell, yes because you can embed classical logic in constructive logic in many ways but then you lose a lot of convenience. The if you had exensionality things get really weird