Задание
ДЕЛ\(A, 40\) ⋀ \(ДЕЛ\(730, x\) → \(¬ДЕЛ\(A, x\) → ¬ДЕЛ\(90, x\)))
тождественно истинна, то есть принимает значение 1 при любом натуральном х?
Обозначим через ДЕЛ\(n, m\) утверждение «натуральное число nделится без остатка на натуральное число m». Сколько существует натуральных значений A на отрезке
\[1;1000\]
, при которых формулаДЕЛ\(A, 40\) ⋀ \(ДЕЛ\(730, x\) → \(¬ДЕЛ\(A, x\) → ¬ДЕЛ\(90, x\)))
тождественно истинна, то есть принимает значение 1 при любом натуральном х?