Для начала, дисклеймер:
Я вообще всегда интересуюсь истиной, и в данном конкретном случае увидел утверждение, противоречащее тому, что я знаю, и я захотел провести анализ, в результате которого изменить запомненное утверждение, либо помочь кому-то его изменить.
Итак, пусть свойство А - регистронезависимость, В - хеширование, х - сбербанк.
Почему я подумал (и как Пюрпл сказал, подумал правильно), что утверждения “х ∈ !B” и “x ∈ A” подразумевали под собой “∀A => x ∈ !B”?
От обратного:
есть некий тезис, после которого следует:
- x ∈ A => x ∈ !B?
- да
из “x ∈ A” можно получить “x ∈ !B” тогда и только тогда, когда “∀A => x ∈ !B”. Ни при каких других обстоятельствах этой связи нет.
Если сомнения вызывает единственность последнего преобразования, можно вспомнить дискретку и попробовать из x ∈ A => x ∈ !B преобразованиями получить требуемое. Но я уверен, что это получится.