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

Модальная логика: необходимо и возможно

senior~30 мин

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

Агата Сомова · письмо, приложенное к командировочному листу

На однопутном перегоне Сольск · Кривая Балка встретились два поезда. Оба машиниста ехали по разрешению, оба разрешения выписаны по правилам. Столкновения не случилось: машинисты увидели друг друга за километр и затормозили. Железная дорога хочет знать, кто нарушил устав, и считает, что никто. Я думаю, что нарушил язык. Разберись, что в журнале значат слова «свободен» и «может быть».

Диспетчерская Сольска это длинная комната над путями, со стеной, на которой горят лампы перегонов. Старший диспетчер Нина Аркадьевна Ветлугина кладёт перед тобой журнал дежурного по станции. Запись в 14:02:

Перегон на Кривую Балку свободен. Отправляю 412-й.

Телеграмма со станции Кривая Балка в 14:00 до Сольска не дошла: обрыв на линии. В ней было сказано, что навстречу уже вышел 87-й.

Ветлугина стучит пальцем по записи: «Дежурный написал „свободен“. Он не видел перегона. Он видел, что телеграммы нет. Из этого следует только одно: перегон мог быть свободен. А устав требует, чтобы перегон был свободен наверняка. Между „может быть“ и „наверняка“ уместился встречный поезд».

Сегодня ты научишься записывать эти два слова формулами и проверять, какое из них верно.

урок из курса

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

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