Вельский · адвокат
Пункт «каждый, кто входит на склад, состоит в бригаде грузчиков» истинен. Я взял журнал обычной ночной смены: на склад входили только люди из бригады.
Агата Сомова · старший инспектор
А днём на склад входит кладовщик Никанор, и в бригаде его нет. Так истинен пункт или ложен?
Вопрос Сомовой звучит как придирка, но в нём главная мысль урока. Фраза «пункт истинен» неполная, как фраза «все сдали контрольную» без слов «в нашем классе». Формула с кванторами истинна или ложна где-то: в конкретной смене, в конкретную ночь. Разберёмся, что это за «где-то» и как говорить об истинности, которая не зависит от смены.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.