Агата Сомова · старший инспектор
Фома. Ключа по журналу нет, в цепочке ключа номер один его нет. Вельский скажет: «отсутствие записи не доказательство». Поэтому мы не будем говорить «у Фомы алиби». Мы его докажем. Хочешь прямо, хочешь от обратного, хочешь по одному ключу за раз. Попробуй все три, и посмотрим, какой путь короче.
Из прошлого урока у отдела есть следствие эксперта: склад открыли одним из ключей № 1, № 2, № 3. Значит, тот, кто открыл склад, держал в руках один из них. Алиби грузчика это утверждение «он склад не открывал», и доказывать его нужно так же строго, как эксперт доказывал свою теорему.
Способов доказательства немного. Почти всё, что ты встретишь в TAPL, собрано из четырёх: прямого, контрапозиции, от противного и разбора случаев. Этот урок разбирает их по очереди, сначала на алиби Фомы, потом на школьных числах.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.