История изменений
Исправление den73, (текущая версия) :
Зачем мне такая формулировка q(x). Ты вообще математику в школе учил? В курсе, что такое «доказательство от противного»? Я постулирую, что принцип Лисков не соотносится с реальным ООП (с наследованием, абстрактными классами, виртуальными методами), и я это доказал. Ты можешь указать на ошибки в моём доказательстве, но такого вопроса как «зачем» в математике нет.
Исходная версия den73, :
Зачем мне такая формулировка q(x). Ты вообще математику в школе учил? В курсе, что такое «доказательство от противного»? Я постулирую, что принцип Лисков безполезен, и я это доказал. Ты можешь указать на ошибки в моём доказательстве, но такого вопроса как «зачем» в математике нет.