Статья 386

Итак, если, ответ следует немедленно не делится.

немедленно

немедленно


Но если вопрос остается открытым. Нужно поискать более подходящее условие, которое было бы не только необходимым, но и достаточным. Такое условие содержится в определении делимости целых чисел. Обозначим множество всех целых чисел. Тогда определение будет выглядеть следующим образом.
Словами для любых целых и у делится на у тогда и только тогда, когда существует целое число, дающее при умножении.
Поскольку по условию задачи, определение можно переписать, ограничив область действия кванторов всеобщности и существования 3 областью натуральных чисел.
Замена переменной на переменную не существенна, так как выражения логической точки зрения имеют одинаковый смысл.
Часто кванторы всеобщности, если область их действия известна, вообще не пишут. Поэтому будем использовать запись.
Однако следует помнить, что речь идет о любых из соответствующей области, так что кванторы всеобщности подразумеваются.