История изменений
Исправление www_linux_org_ru, (текущая версия) :
я поражаюсь, как можно настолько бездумно отвечать на те мои посты, где указано «для людей с мозгом»
Кванторы всеобщности в русском языке указываются явно местоимениями «все» или «каждый».
явно, гы-гы-гы
гуглим первую задачу с формулировкой «медианы треугольника пересекаются в одной точке»
Докажите, что медианы треугольника пересекаются в одной точке и делятся ею в отношении 2:1, считая от вершины треугольника. http://www.problems.ru/view_problem_details_new.php?id=53478
как раз видим неявную расстановку кванторов, при этом ни одного слова «все» или «каждый»; неявно подразумеваются кванторы ∀∀∃ (или ∀∀∀∃, смотря как записывать)
наличие квантора ∃ подчеркивается не только единственным числом, но и словом «одной»
далее там идет подсказка, где один (или 2) квантор(а) ∀ ставят явно («любые»), один ∀ все еще неявно, ∃ неявно/удален
Подсказка Докажите, что любые две медианы делятся точкой их пересечения в отношении 2:1, считая от вершины.
Исходная версия www_linux_org_ru, :
я поражаюсь, как можно настолько бездумно отвечать на те мои посты, где указано «для людей с мозгом»
Кванторы всеобщности в русском языке указываются явно местоимениями «все» или «каждый».
явно, гы-гы-гы
гуглим первую задачу с формулировкой «медианы треугольника пересекаются в одной точке»
Докажите, что медианы треугольника пересекаются в одной точке и делятся ею в отношении 2:1, считая от вершины треугольника. http://www.problems.ru/view_problem_details_new.php?id=53478
как раз видим неявную расстановку кванторов, при этом ни одного слова «все» или «каждый»; неявно подразумеваются кванторы ∀∀∃
наличие квантора ∃ подчеркивается не только единственным числом, но и словом «одной»
далее там идет подсказка, где один квантор ∀ ставят явно («любые»), один ∀ все еще неявно, ∃ неявно/удален
Подсказка Докажите, что любые две медианы делятся точкой их пересечения в отношении 2:1, считая от вершины.