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