Вопрос 11:
Элоиза и Абеляр
Героями некоторых логических задач являются Элоиза и Абеляр. Напишите
любой из символов, которые мы заменили.
Ответ: ∃ [чтецу: квантор существования].
Зачёт: ∀ [чтецу: квантор всеобщности].
Эти логические задачи связаны с кванторами существования и всеобщности,
символы которых легко встраиваются в имена логика Абеляра и его
возлюбленной Элоизы заменой похожих букв.
Простите, я не смог объяснить, что такое квантор, так, чтобы это
влезло в комментарий. Интересующимся предлагаю почитать, например,
Википедию.
Источник(и): В.Л. Васюков, Е.Г. Драгалина-Чёрная, В.В. Долгоруков. Logica Ludicra:
Аспекты теоретико-игровой семантики и прагматики.
http://www.academia.edu/23527911/Logica_Ludicra_Аспекты_теоретико-игровой_семантики_и_прагматики
Автор: Александр Печёный (Москва)