Статья 406

Впрочем, если применять описаний метод, не вникая в складывающуюся ситуацию, можно прийти к не верным выводам. Рассмотрим следующее утверждение о правильности записанное для удобства в виде столбца.
Попытаемся доказать частичную правильность присваивания при данных совпадающих пред- и постусловиях. Допустим, небольшое число истинно и выполнено присваивание. Тогда снова - небольшое число, поскольку сумма небольшого числа и 1 не может быть большой. Таким образом, присваивание является частично правильным истинность предусловия после выполнения присваивания влечет истинность постусловия.
Казалось бы, никаких проблем не возникает. Однако стоит добавить к предыдущему рассуждению очевидное утверждение - небольшое число, как мы приходим к нелепому выводу, используя метод математической индукции самом деле, имеем.