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

Свободные и связанные переменные: кто такой «он»

junior~20 мин

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

Костя · стажёр, Седьмой отдел

Тут в протоколе допроса Ефима: «Он сказал, что он был на складе». Первый «он» это Ефим, допрашивали его. А второй? Ефим сказал про себя или про кого-то другого? Писарь торопился, а теперь не помнит.

Сомова забирает протокол: «Вот почему в формулах нет слова „он“».

В русском языке местоимение ищет, к кому привязаться, по смыслу и по соседству. Обычно находит, иногда нет, и тогда протокол можно прочитать двумя способами. В формулах роль местоимений играют переменные. У каждой переменной хозяин записан явно, и двусмысленности нет. Но и у переменных есть свои ловушки: в этом уроке мы научимся видеть, кому принадлежит каждая переменная, и подставлять в формулу имена так, чтобы смысл не поехал.

урок из курса

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

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