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

Перевод с кванторами: устав порта в формулах

junior~25 мин

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

Вельский · адвокат

Вот устав целиком, инспектор. Переводите. Но если в вашей формуле окажется хоть на слово больше или меньше, чем в уставе, я покажу суду ночь, на которой ваша формула и устав расходятся. И суд выбросит ваш перевод.

Сомова листает устав: «Угроза дельная. Перевод проверяют именно так: ищут ночь, где он расходится с текстом».

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

урок из курса

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

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