Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без
Условие
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m».Для какого наибольшего натурального числа А формулаДЕЛ(120,
A) ∧ (ДЕЛ(x, 36) → (¬ДЕЛ(x,
А) → ¬ДЕЛ(x, 45)))тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной x)?
Ответ
Ответ и полный разбор откроются после входа
Посмотреть ответРешение по шагам
Как рассуждать
Разбор задачи целиком открывается после входа.
Осталось ещё 9 шагов
→ (¬ДЕЛ(x, А) → ¬ДЕЛ(x, 45)) ⇔ ¬ДЕЛ(x…
∨ ДЕЛ(x, А) ∨ ¬ДЕЛ(x, 45)Рассмотрим такие x…
будет ложным. Это x, которые одновременно…
Наименьшее общее кратное этих чисел равно…
Следовательно, необходимо подобрать такое…
Наибольшим таким А является число…
Это и будет ответ…
Приведём другое решение на языке Python.for A…
<= (x % 45 != 0))): k += 1 if k…
Бесплатно · займёт минуту