Обозначим через ДЕЛ(n, m) утверждение «натуральное число nделится без остатка на натуральное число m». Для какого наибольшего натурального числа A формула ДЕЛ(70, A) /\ (¬ДЕЛ(x, A) → (ДЕЛ(x, 18) → ¬ДЕЛ(x, 42))) тождественно истинна, то есть принимает значение 1 при любом натуральном х?
Задание

Обозначим через ДЕЛ\(n, m\) утверждение «натуральное число nделится без остатка на натуральное число m». Для какого наибольшего натурального числа A формула ДЕЛ\(70, A\) /\ \(¬ДЕЛ\(x, A\)\(ДЕЛ\(x, 18\) → ¬ДЕЛ\(x, 42\))) тождественно истинна, то есть принимает значение 1 при любом натуральном х?