Героями некоторых логических задач являются Элоиза и Абеляр. Напишите
любой из символов, которые мы заменили.
Ответ: ∃ [чтецу: квантор существования].
Зачет: ∀ [чтецу: квантор всеобщности].
Комментарий:
Эти логические задачи связаны с кванторами существования и всеобщности,
символы которых легко встраиваются в имена логика Абеляра и его
возлюбленной Элоизы заменой похожих букв.
Простите, я не смог объяснить, что такое квантор, так, чтобы это
влезло в комментарий. Интересующимся предлагаю почитать, например,
Википедию.