- Для каждого x из множества A существует такой y, что ... (выполняется некое условие)...
- Для всех x из множества A существует такой y, что ... (выполняется некое условие)...
- Существует такой y, что для каждого x из множества A ... (выполняется некое условие)...
[Дополнение. Раз вторая фраза вызывает недопонимание, я скажу так: в первой фразе делается сразу много копий утверждения о существовании специального игрека, по одному для каждого икса. Во второй фразе делается одно утверждение — о существовании одного игрека сразу для всех иксов. Если вторая фраза вызывает двусмысленность, то тогда лучше действительно ее избегать и проговаривать ее в виде третьей фразы.]
Так вот, в контексте мегагрантов МинОбрНауки. В официальном списке принятых заявок есть чудесная фраза, как раз иллюстрирующая эту разницу:
Всего в конкурсную комиссию поступило 512 конвертов с 507 заявками от 179 вузов. Все поступившие заявки будут направлены на экспертизу 2 российским и 2 зарубежным экспертам.Конечно, тут имелось в виду, что каждая заявка (а не все вместе!) будет направлена 4 экспертам, и эти эксперты для разных заявок могут быть разными (но могут и совпадать, частично или полностью).
Но из наличия этой фразы в официальном документе ясно видно, что написавший ее человек — а также, корректоры, если они были — не имеет (настоящего) математического образования. Иначе бы эта разница смыслов, сидящая в подкорке, не позволила бы такое написать.
Понял смысл только со второго раза. А сначала у меня моск сломался...
ОтветитьУдалитьВы не совсем правы
ОтветитьУдалитьпервая фраза да
"Для любого x существует у, такой, что" -- означает, что y может быть разный для разных иксов. А вот вторую фразу математики записывают наоборот:
"Существует y, такой что, для каждого x выполнено ..."
Я очень хорошо это помню: разница вылезает при обсуждении поточечной сходимости системы функций -- первая фраза и ее (системы) равновномерной сходимости (вторая фраза)
У меня в переформулировке второй фразы так и сказано. Но в принципе можно делать утверждение и «для всех» (см. дополнение к посту).
ОтветитьУдалитьА вдруг комиссии так важно мнение о каждой заявке, что было решено, получить отзыва 4 экспертов по каждому случаю :)?
ОтветитьУдалитьСтудентам-юристам вроде бы логику читают, но, судя по результатам законотворчества, какую-то неаристотелеву. Например, в законе (кодексе, указе, приказе, распоряжении, инструкции...) приводится список условий, при выполнении которых следует выполнить некоторое действие (дать Героя, дать по шапке и т.п.). Однако практически никогда из текста нельзя понять, должны эти условия быть связаны по ИЛИ или по И, т.е. из выполнения любого или только из одновременно всех условий должно следовать данное действие.
ОтветитьУдалитьПозволю себе не согласится. Оба слова в символьной записи запишутся как ∀ x, т.е. неразличимы. Различие в символьном описании обозначенных смыслов появляется дальше: "∃ y=y(x):" и "∃ y", в то время как в словесном оно не появляется.
ОтветитьУдалитьа откуда известно, что "каждая" заявка будет отправлена своей четвёрке экспертов?
_glav_.livejournal.com
К формальной записи вопросов нет: первое утверждение пишется как ∀x ∃y P(x,y), а второе — как ∃y ∀x P(x,y). Вы говорите, что в первом случае лучше уточнить y=y(x); я согласен, но иногда встречается запись и без уточнения. Я же хотел подчеркнуть то, что возникает при словесной формулировке записи.
ОтветитьУдалить> а откуда известно, что "каждая" заявка будет отправлена своей четвёрке экспертов?
Ну я всё же надеюсь, что эта четверка не универсальна, это по-моему разумное толкование фразы. :) Но четверки, конечно, могут и частично пересекаться.
* Для каждого x из множества A существует такой y, что ... (выполняется некое условие)...
ОтветитьУдалить* Для всех x из множества A существует такой y, что ... (выполняется некое условие)...
Причем, вторую фразу можно сформулировать и вот так:
* Существует такой y, что для каждого x из множества A ... (выполняется некое условие)....
Первую фраза записывается как ∀x ∃y P(x,y)
Вторая фраза записывается тоже как ∀x ∃y P(x,y)
Третья фраза записывается как ∃y ∀x P(x,y)
Почему третья фраза эквивалента второй, мне абсолютно не понятно. Когда пишется ∃y, если он стоит после квантора всеобщности ∀x, то подразумевается, что он может быть y=y(x). Например,
∀ε>0 ∃δ>0 |x-x0|0 ∀ε>0 |x-x0|<δ |f(x)-f(x0)|<ε
т.е. существует неотрицательное значение δ, которое для всех неотрицательных значений ε выполнить заданное условие), однако обычно δ=δ(ε), т.е. для одного неотрицательного значение ε можно выбрать одно неотрицательное значение δ, для другого неотрицательного значение ε можно выбрать другое неотрицательное значение ε и соответственно "поменять местами квантор всеобщности и квантор существования нельзя". Таки образом, мне не понятно почему вы сделали такую замену.
Значок «∀» надо проговаривать «для любого». Словесная формулировка «для всех» отображается иначе.
ОтветитьУдалить> Словесная формулировка «для всех» отображается иначе.
ОтветитьУдалитьКак иначе?
∃y ∀x P(x,y)?
Всегда считал, что значок «∀» читается «для всех», «∀» - это перевёрнутая первая буква слова «ALL», т. е. «все», но не думал, что это означает что y(x) равен константе в выражении
∀ x ∃ y = y(x)
Если вам в посленей формуле чтение значка «∀» как «для всех» не вызывает никаких недопониманий, то хорошо. В принципе, оно может вызывать недопонимание, и поэтому его лучше читать «для каждого». Главное, чтобы в конце концов и писатель, и читатель понимали одно и то же, и в формульном виде это и достигается.
ОтветитьУдалить