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