Showing that X implies a contradiction is showing not X in intuitionistic/constructive logic, yes. However, you can’t show X by assuming not X and reaching a co

Showing that X implies a contradiction is showing not X in intuitionistic/constructive logic, yes. However, you can’t show X by assuming not X and reaching a contradiction. By doing so you would only show not(not(X))