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