Обозначим через
\(ДЕЛ(n, m)\) утверждение «натуральное число
\(n\) делится без остатка на натуральное число
\(m\)»; и пусть на числовой прямой дан отрезок
\(B = [50; 60]\).
Для какого наибольшего натурального числа
\(А\) формула
\(ДЕЛ(x, A) \lor ((x \in B) \rightarrow \neg ДЕЛ(x, 13))\)
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной
\(x\)?