Вельский · адвокат
В коридоре инспектор промолчала, но я знаю, что она скажет: «про любых двоих не доказано». Хорошо. Я докажу вам строго, по-вашему, и начну с одного человека. Возьмите любую группу грузчиков ночной смены. Если в группе один человек, он заодно сам с собой. Если в группе на одного больше, уберите одного: остальные заодно. Уберите другого: снова заодно. Значит, заодно все. Пять грузчиков, одна шайка. А показания сообщников друг о друге ничего не стоят. В том числе показания Данилы о ключе.
Судья Гранович отложил освобождение клиента Вельского, и Вельский сменил тактику. Он больше не спорит с фактами. Он хочет выбить из дела показания Данилы: именно Данила видел, как Ефим передал ключ Прохору. Без этого звена цепочка ключа рвётся, и нарушение Рудакова снова не доказано.
Рассуждение Вельского звучит как настоящее доказательство. Оно и устроено как настоящее: это индукция, один из главных способов доказывать утверждения «для всех». В TAPL на индукции стоит почти каждая теорема. Значит, придётся понять, как она работает, и найти, где Вельский её сломал.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.