Skip to Content

Ошибка в вопросе

Вопрос 11:

Раздаточный материал

    Элоиза и Абеляр
    

    Героями некоторых логических задач являются Элоиза и Абеляр. Напишите любой из символов, которые мы заменили.

Ответ: ∃ [чтецу: квантор существования].

Зачёт: ∀ [чтецу: квантор всеобщности].

Комментарий: Эти логические задачи связаны с кванторами существования и всеобщности, символы которых легко встраиваются в имена логика Абеляра и его возлюбленной Элоизы заменой похожих букв.
    Простите, я не смог объяснить, что такое квантор, так, чтобы это влезло в комментарий. Интересующимся предлагаю почитать, например, Википедию.

Источник(и): В.Л. Васюков, Е.Г. Драгалина-Чёрная, В.В. Долгоруков. Logica Ludicra: Аспекты теоретико-игровой семантики и прагматики. http://www.academia.edu/23527911/Logica_Ludicra_Аспекты_теоретико-игровой_семантики_и_прагматики

Автор: Александр Печёный (Москва)

7 + 1 =
Решите этот несложный пример. Вы должны видеть три слагаемых. Если слагаемых два, то прибавьте к сумме 2.