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