B
Подожди
Size: a a a
2021 April 29
B
Здесь используется так называемая bounded quantification
B
Это не условие, это ограничение домена
B
Но это можно заменить конъюнкцией и импликацией, см. в Bounded quantifiers in arithmetic и Bounded quantifiers in set theory
B
Вот и весь секрет
B
Это значило "не беги"
B
Никаких условий, это просто такое сокращение записи
EL
Спасибо за пояснение!
EL
Я теперь только вдуплил вот это
B
Есть вот кондициональные кванторы, но чтобы понять, что это такое, нужно немного войти в тему обобщённых кванторов.
Кондициональные кванторы являются полиадическими. Что это значит: https://plato.stanford.edu/entries/generalized-quantifiers/#GeneQuanArbiType
Интуитивно понятные нематематические примеры можно взять из секции про естественные языки.
Предварительно: https://plato.stanford.edu/entries/generalized-quantifiers/#DeteNotISOM
Сами примеры: https://plato.stanford.edu/entries/generalized-quantifiers/#PolyNatuLangQuan
Кондициональный квантор: https://en.wikipedia.org/wiki/Conditional_quantifier
Кондициональные кванторы являются полиадическими. Что это значит: https://plato.stanford.edu/entries/generalized-quantifiers/#GeneQuanArbiType
Интуитивно понятные нематематические примеры можно взять из секции про естественные языки.
Предварительно: https://plato.stanford.edu/entries/generalized-quantifiers/#DeteNotISOM
Сами примеры: https://plato.stanford.edu/entries/generalized-quantifiers/#PolyNatuLangQuan
Кондициональный квантор: https://en.wikipedia.org/wiki/Conditional_quantifier
B
В википедии контрапозицию неверно записали
B
Правильно: Q X Y ⇒ Q (¬Y) (¬X)
B
Так как в квантор здесь превращается кондиционал, а контрапозиция — это https://en.wikipedia.org/wiki/Contraposition
B
Остальное лень проверять
B
Вот для этого квантора действительно можно говорить об условии, но условие всё равно будет частью тела (см. статью про обобщённые кванторы)
А лучше говорить не об условии, а об антецеденте
А лучше говорить не об условии, а об антецеденте
B
Впрочем, если рассахарить bounded кванторы, то там тоже кондиционал (импликация) в теле в случае квантора всеобщности, т.е. ограничение домена будет выражено антецедентом.
B
Можно представить условие для квантификации, которое не будет частью тела, но это потом как-нибудь
EL
Плз, не продолжай, я ж неделю это буду переваривать
EL
Спасибо!