Раздел 44 · Логика и типы

Немонотонный вывод: по умолчанию и отрицание как неудача

senior~30 мин

без входаВойди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти

Зоя Марковна Полозова · «Сплетница», колонка «Портовые слухи»

Утренний номер вышел с заметкой «„Онега“ прибыла в 6:00 по расписанию». Набирали её вечером, как всегда: если до полуночи нет телеграммы о задержке, пароход пришёл. В 5:40 телеграмма пришла: «Онега» стоит у маяка в тумане. Номер уже печатался. Редактор говорит, что наборщик ошибся. Я говорю, что наборщик рассуждал правильно, просто правильно вчера и неправильно сегодня. Объясни мне, как такое бывает.

Редакция «Сольских ведомостей» занимает третий этаж над типографией: внизу стучат машины, наверху стучат пишущие. Зою Марковну Полозову тут зовут Сплетницей, и она не обижается. Тридцать лет она ведёт колонку слухов и держит картотеку источников: на каждого лоцмана, буфетчицу и смотрителя маяка карточка с пометками вроде «врёт по пятницам».

До сих пор в курсе было правило, которое никто не нарушал: узнал новое, и старые выводы остались. Наборщик его нарушил, и нарушил не по глупости. Сегодня разберёмся, какой логикой он пользовался, как её записать и как машина ею рассуждает.

урок из курса

Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.

Оплата пока не подключена: премиум и курсы открываются промокодом.