On constructible falsity in the constructive logic with strong negation