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

Предикаты и кванторы: «все» и «кто-то»

junior~25 мин

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

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

Свидетели из переулка вам ничего не дали, инспектор. А у меня есть бумага посильнее показаний: устав порта. По уставу никто из грузчиков не входит на склад после полуночи. Никто. Запишите это своими буквами, если сумеете.

Вельский уходит, Сомова смотрит ему вслед и поворачивается к тебе: «Сумеешь?»

Ты уже умеешь записывать показания формулами: одна буква на одно высказывание, связки между ними. Но фраза Вельского говорит не об одном человеке, а обо всех сразу. В ней спрятано слово «никто», а в соседних пунктах устава будут «каждый» и «кто-то». Для таких слов буквам из прошлых уроков не хватает устройства, и в этом уроке мы его добавим.

урок из курса

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

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